diff --git a/changelog b/changelog deleted file mode 100644 index a2b32bb..0000000 --- a/changelog +++ /dev/null @@ -1,387 +0,0 @@ -* Sat Jul 20 2024 Fedora Release Engineering - 4.13.0-6 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild - -* Tue Jul 16 2024 Jerry James - 4.13.0-5 -- Rebuild for ocaml-zarith 1.14 - -* Wed Jun 19 2024 Richard W.M. Jones - 4.13.0-4 -- OCaml 5.2.0 ppc64le fix - -* Fri Jun 07 2024 Python Maint - 4.13.0-3 -- Rebuilt for Python 3.13 - -* Wed May 29 2024 Richard W.M. Jones - 4.13.0-2 -- OCaml 5.2.0 for Fedora 41 - -* Thu Mar 14 2024 Jerry James - 4.13.0-1 -- Version 4.13.0 - -* Sun Feb 25 2024 Jerry James - 4.12.6-1 -- Version 4.12.6 - -* Sat Jan 27 2024 Jerry James - 4.12.5-1 -- Version 4.12.5 - -* Sat Jan 27 2024 Fedora Release Engineering - 4.12.4-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild - -* Thu Dec 21 2023 Jerry James - 4.12.4-4 -- Fix python package library load name (bz 2255464) - -* Mon Dec 18 2023 Richard W.M. Jones - 4.12.4-3 -- OCaml 5.1.1 + s390x code gen fix for Fedora 40 - -* Tue Dec 12 2023 Richard W.M. Jones - 4.12.4-2 -- OCaml 5.1.1 rebuild for Fedora 40 - -* Sat Dec 9 2023 Jerry James - 4.12.4-1 -- Version 4.12.4 -- Drop upstreamed patches: python, stdint, escapes - -* Thu Oct 05 2023 Richard W.M. Jones - 4.12.2-7 -- OCaml 5.1 rebuild for Fedora 40 - -* Thu Jul 27 2023 Jerry James - 4.12.2-6 -- Rebuild for ocaml-zarith 1.13 - -* Sat Jul 22 2023 Fedora Release Engineering - 4.12.2-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild - -* Fri Jul 21 2023 Jerry James - 4.12.2-4 -- Exclude the OCaml and Java subpackages only on i386 - -* Wed Jul 12 2023 Richard W.M. Jones - 4.12.2-4 -- OCaml 5.0 rebuild for Fedora 39 - -* Mon Jul 10 2023 Jerry James - 4.12.2-3 -- OCaml 5.0.0 rebuild - -* Thu Jun 15 2023 Python Maint - 4.12.2-2 -- Rebuilt for Python 3.12 - -* Mon May 15 2023 Jerry James - 4.12.2-1 -- Version 4.12.2 - -* Tue Jan 24 2023 Richard W.M. Jones - 4.12.1-2 -- Rebuild OCaml packages for F38 - -* Sat Jan 21 2023 Jerry James - 4.12.1-1 -- Version 4.12.1 - -* Sat Jan 21 2023 Fedora Release Engineering - 4.12.0-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild - -* Tue Jan 17 2023 Jerry James - 4.12.0-1 -- Version 4.12.0 -- Drop upstreamed -data-race and -uninit patches - -* Sun Jan 8 2023 Jerry James - 4.11.2-2 -- Add -data-race patch to fix segfault (bz 2157972) -- Add -uninit patch to fix use of an uninitialized value - -* Wed Dec 14 2022 Jerry James - 4.11.2-1 -- Further clarify license of the doc subpackage (SPDX) - -* Sun Sep 4 2022 Jerry James - 4.11.2-1 -- Version 4.11.2 - -* Fri Aug 19 2022 Jerry James - 4.11.0-1 -- Version 4.11.0 -- Clarify license of the doc subpackage - -* Mon Aug 8 2022 Jerry James - 4.10.2-1 -- Version 4.10.2 - -* Sat Jul 23 2022 Fedora Release Engineering - 4.8.17-6 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild - -* Tue Jun 28 2022 Jerry James - 4.8.17-5 -- Do not support Java on i686 (rhbz#2104112) -- Use new OCaml macros - -* Mon Jun 20 2022 Python Maint - 4.8.17-4 -- Rebuilt for Python 3.11 - -* Sat Jun 18 2022 Richard W.M. Jones - 4.8.17-3 -- OCaml 4.14.0 rebuild - -* Mon Jun 13 2022 Python Maint - 4.8.17-2 -- Rebuilt for Python 3.11 - -* Mon May 16 2022 Jerry James - 4.8.17-1 -- Version 4.8.17 -- Drop upstreamed -ambiguous-overload patch - -* Thu Mar 24 2022 Jerry James - 4.8.15-2 -- Add -ambiguous-overload patch to fix cppcheck build failure - -* Mon Mar 21 2022 Jerry James - 4.8.15-1 -- Version 4.8.15 - -* Sat Feb 05 2022 Jiri Vanek - 4.8.14-4 -- Rebuilt for java-17-openjdk as system jdk - -* Fri Feb 04 2022 Richard W.M. Jones - 4.8.14-3 -- OCaml 4.13.1 rebuild to remove package notes - -* Sat Jan 22 2022 Fedora Release Engineering - 4.8.14-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild - -* Fri Dec 24 2021 Jerry James - 4.8.14-1 -- Version 4.8.14 -- Conditionalize the %%check script - -* Fri Nov 19 2021 Jerry James - 4.8.13-1 -- Version 4.8.13 - -* Mon Oct 04 2021 Richard W.M. Jones - 4.8.12-3 -- OCaml 4.13.1 build - -* Fri Jul 23 2021 Fedora Release Engineering - 4.8.12-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild - -* Tue Jul 13 2021 Jerry James - 4.8.12-1 -- Version 4.8.12 - -* Sun Jun 6 2021 Jerry James - 4.8.11-1 -- Version 4.8.11 - -* Fri Jun 04 2021 Python Maint - 4.8.10-6 -- Rebuilt for Python 3.10 - -* Wed Mar 3 2021 Jerry James - 4.8.10-5 -- Rebuild for ocaml-zarith 1.12 - -* Mon Mar 1 20:17:48 GMT 2021 Richard W.M. Jones - 4.8.10-4 -- Bump release and rebuild. - -* Mon Mar 1 19:41:16 GMT 2021 Richard W.M. Jones - 4.8.10-3 -- Bump release and rebuild. - -* Mon Mar 1 16:57:45 GMT 2021 Richard W.M. Jones - 4.8.10-2 -- OCaml 4.12.0 build - -* Sat Feb 13 2021 Jerry James - 4.8.10-1 -- Version 4.8.10 - -* Thu Jan 28 2021 Fedora Release Engineering - 4.8.9-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild - -* Fri Dec 25 2020 Jerry James - 4.8.9-4 -- Fix the python interface (bz 1910923) - -* Mon Nov 16 2020 Jerry James - 4.8.9-3 -- Rebuild for ocaml-zarith 1.11 - -* Fri Sep 25 2020 Jerry James - 4.8.9-2 -- Rebuild for ocaml-zarith 1.10 - -* Fri Sep 11 2020 Jerry James - 4.8.9-1 -- Version 4.8.9 - -* Tue Sep 01 2020 Richard W.M. Jones - 4.8.8-7 -- OCaml 4.11.1 rebuild - -* Fri Aug 21 2020 Richard W.M. Jones - 4.8.8-6 -- OCaml 4.11.0 rebuild - -* Wed Jul 29 2020 Fedora Release Engineering - 4.8.8-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild - -* Mon Jul 27 2020 Jerry James - 4.8.8-4 -- Build with cmake -- Manually build the OCaml interface -- Limit the class file version in the Java interface -- Allow the library to hide internal symbols; this means that the binary can no - longer be linked with the library, so the main package does not depend on - the -libs package -- The python package no longer contains an ELF object, so make it noarch - -* Sat Jul 11 2020 Jiri Vanek - 4.8.8-4 -- Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11 - -* Tue May 26 2020 Miro Hrončok - 4.8.8-3 -- Rebuilt for Python 3.9 - -* Thu May 14 2020 Wolfgang Stöggl - 4.8.8-2 -- Add Z3 cmake files required by find_package(Z3) - -* Sat May 9 2020 Jerry James - 4.8.8-1 -- Version 4.8.8 -- Drop all patches; all have been upstreamed - -* Mon May 04 2020 Richard W.M. Jones - 4.8.7-10 -- OCaml 4.11.0+dev2-2020-04-22 rebuild - -* Tue Apr 21 2020 Richard W.M. Jones - 4.8.7-9 -- OCaml 4.11.0 pre-release attempt 2 - -* Fri Apr 17 2020 Richard W.M. Jones - 4.8.7-8 -- OCaml 4.11.0 pre-release - -* Thu Apr 02 2020 Richard W.M. Jones - 4.8.7-7 -- Update all OCaml dependencies for RPM 4.16. - -* Wed Feb 26 2020 Richard W.M. Jones - 4.8.7-6 -- OCaml 4.10.0 final. - -* Fri Jan 31 2020 Fedora Release Engineering - 4.8.7-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild - -* Tue Jan 21 2020 Jerry James - 4.8.7-4 -- Make -doc be archful (bz 1792740) -- Add -signed-char and -gcc-10-s390x patches - -* Sun Jan 19 2020 Richard W.M. Jones - 4.8.7-4 -- OCaml 4.10.0+beta1 rebuild. - -* Fri Jan 10 2020 Richard W.M. Jones - 4.8.7-3 -- OCaml 4.09.0 for riscv64 - -* Sat Dec 7 2019 Jerry James - 4.8.7-2 -- OCaml 4.09.0 (final) rebuild - -* Thu Nov 21 2019 Jerry James - 4.8.7-1 -- New upstream version -- Add -ocamldoc patch to fix documentation build failure -- Add -trailing-zeros32 patch to fix build failures on some platforms - -* Fri Sep 20 2019 Jerry James - 4.8.6-1 -- New upstream version - -* Mon Aug 19 2019 Miro Hrončok - 4.8.5-6 -- Rebuilt for Python 3.8 - -* Fri Aug 16 2019 Richard W.M. Jones - 4.8.5-5 -- OCaml 4.08.1 (final) rebuild. - -* Wed Jul 31 2019 Richard W.M. Jones - 4.8.5-4 -- OCaml 4.08.1 (rc2) rebuild. - -* Sat Jul 27 2019 Fedora Release Engineering - 4.8.5-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild - -* Thu Jun 27 2019 Richard W.M. Jones - 4.8.5-2 -- OCaml 4.08.0 (final) rebuild. - -* Sat Jun 22 2019 Jerry James - 4.8.5-1 -- New upstream version - -* Mon Apr 29 2019 Richard W.M. Jones - 4.8.4-3 -- OCaml 4.08.0 (beta 3) rebuild. - -* Sun Feb 03 2019 Fedora Release Engineering - 4.8.4-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild - -* Mon Dec 24 2018 Jerry James - 4.8.4-1 -- New upstream version -- Drop -no-sse patch, now handled upstream - -* Wed Nov 28 2018 Jerry James - 4.8.3-1 -- New upstream version - -* Tue Oct 30 2018 Jerry James - 4.8.1-1 -- New upstream version -- Drop python2 subpackage (bz 1634981) - -* Fri Sep 7 2018 Jerry James - 4.7.1-5 -- Build with SSE2 support on 32-bit x86 - -* Sat Jul 14 2018 Fedora Release Engineering - 4.7.1-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild - -* Wed Jul 11 2018 Richard W.M. Jones - 4.7.1-4 -- OCaml 4.07.0 (final) rebuild. - -* Wed Jun 20 2018 Richard W.M. Jones - 4.7.1-3 -- OCaml 4.07.0-rc1 rebuild. - -* Tue Jun 19 2018 Miro Hrončok - 4.7.1-2 -- Rebuilt for Python 3.7 - -* Tue May 22 2018 Jerry James - 4.7.1-1 -- New upstream version (bz 1581516) -- Drop upstreamed -vector patch - -* Fri Feb 09 2018 Fedora Release Engineering - 4.6.0-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild - -* Sun Dec 24 2017 Jerry James - 4.6.0-1 -- New upstream version (bz 1527531) -- Add a python3 subpackage - -* Sun Dec 17 2017 Zbigniew Jędrzejewski-Szmek - 4.5.0-8 -- Python 2 binary package renamed to python2-z3 - See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3 - -* Fri Nov 17 2017 Richard W.M. Jones - 4.5.0-7 -- OCaml 4.06.0 rebuild. -- Add dependency on ocaml-num. - -* Tue Aug 08 2017 Richard W.M. Jones - 4.5.0-6 -- OCaml 4.05.0 rebuild. - -* Thu Jul 27 2017 Fedora Release Engineering - 4.5.0-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild - -* Tue Jun 27 2017 Richard W.M. Jones - 4.5.0-4 -- OCaml 4.04.2 rebuild. - -* Fri May 12 2017 Richard W.M. Jones - 4.5.0-3 -- OCaml 4.04.1 rebuild. - -* Sat Feb 11 2017 Fedora Release Engineering - 4.5.0-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild - -* Tue Nov 8 2016 Jerry James - 4.5.0-1 -- New upstream version -- All patches except -sse2 have been upstreamed; drop them -- Upstream now ships __init__.py; drop our version -- Drop all the buildroot tricks; Makefile supports DESTDIR now -- Use C.UTF-8 instead of en_US.UTF-8 - -* Sat Nov 05 2016 Richard W.M. Jones - 4.4.1-8 -- Rebuild for OCaml 4.04.0. - -* Tue Jul 19 2016 Fedora Release Engineering - 4.4.1-7 -- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages - -* Wed Jul 13 2016 Jerry James - 4.4.1-6 -- Fix Java interface (bz 1353773) - -* Thu Jun 30 2016 Jerry James - 4.4.1-5 -- Fix __init__.py (bz 1351580) - -* Fri Feb 05 2016 Fedora Release Engineering - 4.4.1-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild - -* Tue Feb 02 2016 Jonathan Wakely - 4.4.1-3 -- Patched for C++11 compatibility. - -* Wed Jan 20 2016 Jerry James - 4.4.1-2 -- Add __init__.py to the python interface (bz 1298429) - -* Thu Oct 8 2015 Jerry James - 4.4.1-1 -- New upstream version - -* Tue Jul 28 2015 Richard W.M. Jones - 4.4.0-4 -- OCaml 4.02.3 rebuild. - -* Thu Jun 25 2015 Richard W.M. Jones - 4.4.0-3 -- ocaml-4.02.2 final rebuild. - -* Thu Jun 18 2015 Richard W.M. Jones - 4.4.0-2 -- ocaml-4.02.2 rebuild. - -* Wed May 27 2015 Jerry James - 4.4.0-1 -- New upstream version - -* Wed Apr 22 2015 Jerry James - 4.3.2-3.20150329git.29606b5 -- Fix issues found on review (bz 1206826) - -* Mon Mar 30 2015 Jerry James - 4.3.2-2.20150329git.29606b5 -- Update to latest git HEAD -- Include examples in -doc - -* Sat Mar 28 2015 Jerry James - 4.3.2-1.20150327git.ac21ffe -- Initial RPM diff --git a/sources b/sources index 949de7f..d3aac3a 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (z3-5.1.0.tar.gz) = 03a854f720a56484ab99b8a5517150f1c9106400f54ad758cfa58e3ee2f95e349396a64d4f527a5bb9ee37f10ad9ecfa1916d1f5c921f04089deda409374491b +SHA512 (z3-4.8.14.tar.gz) = 10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab diff --git a/z3-ocaml.patch b/z3-ocaml.patch deleted file mode 100644 index 32e0857..0000000 --- a/z3-ocaml.patch +++ /dev/null @@ -1,56 +0,0 @@ ---- z3-z3-4.12.2/scripts/mk_util.py.orig 2023-05-12 13:59:04.000000000 -0600 -+++ z3-z3-4.12.2/scripts/mk_util.py 2023-07-06 11:53:06.045350565 -0600 -@@ -34,7 +34,7 @@ EXAMP_DEBUG_FLAG='' - LDFLAGS=getenv("LDFLAGS", "") - JNI_HOME=getenv("JNI_HOME", None) - OCAMLC=getenv("OCAMLC", "ocamlc") --OCAMLOPT=getenv("OCAMLOPT", "ocamlopt") -+OCAMLOPT=getenv("OCAMLOPT", None) - OCAML_LIB=getenv("OCAML_LIB", None) - OCAMLFIND=getenv("OCAMLFIND", "ocamlfind") - DOTNET="dotnet" -@@ -460,13 +460,9 @@ def check_ml(): - raise MKException('Failed testing ocamlc compiler. Set environment variable OCAMLC with the path to the Ocaml compiler') - if is_verbose(): - print ('Testing %s...' % OCAMLOPT) -- r = exec_cmd([OCAMLOPT, '-o', 'a.out', 'hello.ml']) -- if r != 0: -- raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler. Note that ocamlopt may require flexlink to be in your path.') - try: - rmf('hello.cmi') - rmf('hello.cmo') -- rmf('hello.cmx') - rmf('a.out') - rmf('hello.o') - except: -@@ -2069,7 +2065,7 @@ class MLComponent(Component): - out.write('\t%s -linkall -shared -o %s.cmxs -I . -I %s %s.cmxa\n' % (OCAMLOPTF, z3mls, self.sub_dir, z3mls)) - - out.write('\n') -- out.write('ml: %s.cma %s.cmxa %s.cmxs\n' % (z3mls, z3mls, z3mls)) -+ out.write('ml: %s.cma\n' % z3mls) - if IS_OSX: - out.write('\tinstall_name_tool -id %s/libz3.dylib libz3.dylib\n' % (stubs_install_path)) - out.write('\tinstall_name_tool -change libz3.dylib %s/libz3.dylib api/ml/dllz3ml.so\n' % (stubs_install_path)) -@@ -2091,8 +2087,6 @@ class MLComponent(Component): - out.write(get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT) ') - out.write(os.path.join(self.sub_dir, 'META ')) - out.write(os.path.join(self.sub_dir, 'z3ml.cma ')) -- out.write(os.path.join(self.sub_dir, 'z3ml.cmxa ')) -- out.write(os.path.join(self.sub_dir, 'z3ml.cmxs ')) - - def mk_install(self, out): - if is_ml_enabled() and self._install_bindings(): -@@ -2119,12 +2113,9 @@ class MLComponent(Component): - else: - out.write(' ' + os.path.join(self.sub_dir, m) + '.mli') - out.write(' ' + os.path.join(self.sub_dir, m) + '.cmi') -- out.write(' ' + os.path.join(self.sub_dir, m) + '.cmx') - out.write(' %s' % ((os.path.join(self.sub_dir, 'libz3ml$(LIB_EXT)')))) - out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml$(LIB_EXT)')))) - out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cma')))) -- out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cmxa')))) -- out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cmxs')))) - out.write(' %s' % ((os.path.join(self.sub_dir, 'dllz3ml')))) - if is_windows() or is_cygwin_mingw() or is_msys2(): - out.write('.dll') diff --git a/z3-python.patch b/z3-python.patch new file mode 100644 index 0000000..c26dd68 --- /dev/null +++ b/z3-python.patch @@ -0,0 +1,21 @@ +--- a/scripts/update_api.py 2020-09-10 12:51:28.000000000 -0600 ++++ b/scripts/update_api.py 2020-12-25 17:03:00.196777823 -0700 +@@ -1755,15 +1755,15 @@ def write_core_py_preamble(core_py): + # Automatically generated file + import sys, os + import ctypes +-import pkg_resources ++import sysconfig + from .z3types import * + from .z3consts import * + +-_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so' ++_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so.@MAJVER@' + _lib = None + _default_dirs = ['.', + os.path.dirname(os.path.abspath(__file__)), +- pkg_resources.resource_filename('z3', 'lib'), ++ sysconfig.get_config_var('LIBDIR'), + os.path.join(sys.prefix, 'lib'), + None] + _all_dirs = [] diff --git a/z3.rpmlintrc b/z3.rpmlintrc new file mode 100644 index 0000000..872eb7a --- /dev/null +++ b/z3.rpmlintrc @@ -0,0 +1,25 @@ +# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON +# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors + +# The dictionary is missing some technical terms +addFilter(r'W: spelling-error .* ((S|s)atisfiability|datatypes)') + +# Shared objects in the python arch directory are not devel files +addFilter(r'python3-z3\.[^:]+: W: devel-file-in-non-devel-package .*libz3\.so') + +# The documentation is in the -doc subpackage +addFilter(r'W: no-documentation') + +# Oh yes, we have no manual page +addFilter(r'W: no-manual-page-for-binary z3') + +# The configure script is not an autotools-generated script +addFilter(r'z3\.spec:[^:]*: W: configure-without-libdir-spec') + +# The spec file moves the shared object from /usr/lib to /usr/lib64 on 64-bit +# systems, the opposite of the problem this warning is intended to catch. +addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/libz3\.so\*') + +# This is where JAR files are supposed to go when there is a binary interface. +addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/\*\.jar') +addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/lib%{name}java\.so') diff --git a/z3.spec b/z3.spec index 3c1df16..110df81 100644 --- a/z3.spec +++ b/z3.spec @@ -1,73 +1,42 @@ -# TODO: A Julia interface is now available, but requires -# https://github.com/JuliaInterop/libcxxwrap-julia, which is not currently -# available in Fedora. - -# TODO: A JavaScript interface is now available. Given the generally poor -# state of JavaScript in Fedora, I do not plan to add a subpackage for it -# unless somebody is really, really persuasive and available to help fix it -# if it breaks. - -# A Go interface is now available, but Fedora no longer builds Go library -# packages (https://docs.fedoraproject.org/en-US/packaging-guidelines/Golang/). - # Tests are off by default because some of the tests require more memory than # the koji builders have available. -%bcond test 0 +%bcond_with test Name: z3 -Version: 5.1.0 -Release: %autorelease +Version: 4.8.14 +Release: 1%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver -%global giturl https://github.com/Z3Prover/z3 -%global majver %{gsub %version ^(%d*%.%d*)%..*$ %1} - License: MIT -URL: https://github.com/Z3Prover/z3/wiki -VCS : git:%{giturl}.git -Source: %{giturl}/archive/%{name}-%{version}.tar.gz -# Do not try to build or install native OCaml artifacts on bytecode-only arches -Patch: %{name}-ocaml.patch - -# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval -ExcludeArch: %{ix86} -BuildSystem: cmake -BuildOption(conf): -G Ninja -BuildOption(conf): -DCMAKE_INSTALL_INCLUDEDIR=%{_includedir}/z3 -BuildOption(conf): -DZ3_BUILD_DOCUMENTATION:BOOL=ON -%ifarch %{java_arches} -BuildOption(conf): -DZ3_BUILD_JAVA_BINDINGS:BOOL=ON -%endif -BuildOption(conf): -DZ3_BUILD_PYTHON_BINDINGS:BOOL=ON -BuildOption(conf): -DCMAKE_INSTALL_PYTHON_PKG_DIR=%{python3_sitelib} -BuildOption(conf): -DZ3_INCLUDE_GIT_HASH:BOOL=OFF -BuildOption(conf): -DZ3_INCLUDE_GIT_DESCRIBE:BOOL=OFF -BuildOption(conf): -DZ3_USE_LIB_GMP:BOOL=ON +URL: https://github.com/Z3Prover/z3 +Source0: https://github.com/Z3Prover/z3/archive/%{name}-%{version}.tar.gz +# Change the way python finds the shared object; see bz 1910923 +Patch0: %{name}-python.patch +BuildRequires: cmake BuildRequires: doxygen BuildRequires: gcc-c++ BuildRequires: gmp-devel BuildRequires: graphviz BuildRequires: help2man -%ifarch %{java_arches} BuildRequires: java-devel BuildRequires: javapackages-tools -%endif BuildRequires: make BuildRequires: ninja-build BuildRequires: ocaml BuildRequires: ocaml-findlib +BuildRequires: ocaml-ocamldoc BuildRequires: ocaml-zarith-devel BuildRequires: python3-devel BuildRequires: %{py3_dist setuptools} %description Z3 is a satisfiability modulo theories (SMT) solver; given a set of -constraints with variables, it reports a set of values for those variables -that would meet the constraints. The Z3 input format is an extension of the -one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size -bit-vectors, extensional arrays, datatypes, uninterpreted functions, and -quantifiers. +constraints with variables, it reports a set of values for those +variables that would meet the constraints. The Z3 input format is an +extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports +arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, +uninterpreted functions, and quantifiers. %package libs Summary: Library for applications that use z3 functionality @@ -76,77 +45,53 @@ Summary: Library for applications that use z3 functionality Library for applications that use z3 functionality. %package devel -Summary: Header files for building applications that use z3 -Requires: z3-libs%{?_isa} = %{version}-%{release} +Summary: Header files for build applications that use z3 +Requires: %{name}-libs%{?_isa} = %{version}-%{release} %description devel -Header files for building applications that use z3. +Header files for build applications that use z3. %package doc -# The content is MIT. -# Two files in examples are GPL-3.0-or-later WITH Bison-exception 2.2: -# examples/tptp/tptp5.tab.c -# examples/tptp/tptp5.tab.c -# Other licenses are due to files installed by doxygen. -# html/clipboard.js: MIT -# html/cookie.js: MIT -# html/doxygen.css: GPL-1.0-or-later -# html/doxygen.svg: GPL-1.0-or-later -# html/dynsections.js: MIT -# html/jquery.js: MIT -# html/navtree.css: GPL-1.0-or-later -# html/search/search.css: GPL-1.0-or-later -# html/search/search.js: MIT -# html/tabs.css: GPL-1.0-or-later -License: MIT AND GPL-3.0-or-later WITH Bison-exception-2.2 AND GPL-1.0-or-later Summary: API documentation for Z3 -BuildArch: noarch +# FIXME: this should be noarch, but we end up with different numbers of inheritance +# graphs on different architectures. Why? %description doc API documentation for Z3. -%ifarch %{java_arches} -%package -n java-z3 +%package -n java-%{name} Summary: Java interface to z3 -Requires: z3-libs%{?_isa} = %{version}-%{release} +Requires: %{name}-libs%{?_isa} = %{version}-%{release} Requires: java Requires: javapackages-tools -%description -n java-z3 +%description -n java-%{name} Java interface to z3. -%endif -%package -n ocaml-z3 +%package -n ocaml-%{name} Summary: Ocaml interface to z3 -Requires: z3-libs%{?_isa} = %{version}-%{release} +Requires: %{name}-libs%{?_isa} = %{version}-%{release} -%description -n ocaml-z3 +%description -n ocaml-%{name} Ocaml interface to z3. -%package -n ocaml-z3-devel +%package -n ocaml-%{name}-devel Summary: Files for building ocaml applications that use z3 -Requires: ocaml-z3%{?_isa} = %{version}-%{release} -Requires: ocaml-zarith-devel%{?_isa} +Requires: ocaml-%{name}%{?_isa} = %{version}-%{release} -%description -n ocaml-z3-devel +%description -n ocaml-%{name}-devel Files for building ocaml applications that use z3. -%package -n python3-z3 +%package -n python3-%{name} Summary: Python 3 interface to z3 BuildArch: noarch -Requires: z3-libs = %{version}-%{release} +Requires: %{name}-libs = %{version}-%{release} -# Provide the PyPI name -%py_provides python3-z3-solver - -%description -n python3-z3 +%description -n python3-%{name} Python 3 interface to z3. %prep -%autosetup -N -n %{name}-%{name}-%{version} -%ifnarch %{ocaml_native_compiler} -%patch 0 -p1 -%endif +%autosetup -p1 -n %{name}-%{name}-%{version} # Enable verbose builds, use Fedora CFLAGS, preserve timestamps when installing, # include the entire contents of the archives in the library, link the library @@ -155,30 +100,39 @@ sed \ -e 's/@$(CXX)/$(CXX)/' \ -e '/O3/d' \ -e "s/\(['\"]\)cp\([^[:alnum:]]\)/\1cp -p\2/" \ - -e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive'/" \ - -e '/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|' \ - -e 's/\(libz3$(SO_EXT)\)\( \$(SLINK\)/\1 -Wl,--no-whole-archive\2/' \ + -e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive -Wl,--as-needed'/" \ + -e "/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|" \ + -e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' \ -e "s/OCAML_FLAGS = ''/OCAML_FLAGS = '-g'/" \ -i scripts/mk_util.py # Comply with the Java packaging guidelines and fill in the version for python +majver=$(cut -d. -f-2 <<< %{version}) sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so"),' \ - -e "s/'so'/'so.%{majver}'/" \ + -e "s/@MAJVER@/$majver/" \ -i scripts/update_api.py -# Turn off HTML timestamps for reproducible builds -sed -i '/HTML_TIMESTAMP/s/YES/NO/' doc/z3api.cfg.in doc/z3code.dox +# Fix character encoding +iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8 +touch -r RELEASE_NOTES RELEASE_NOTES.utf8 +mv -f RELEASE_NOTES.utf8 RELEASE_NOTES -%build -p -export PYTHON=%{python3} +%build +export CXXFLAGS="%{build_cxxflags}" +export LANG="C.UTF-8" +export PYTHON="%{python3}" -%build -a -# Remove meaningless memory addresses from the pydoc documentation -# See https://github.com/python/cpython/issues/83572 -sed -ri 's/, handle [0-9a-fA-F]+//' \ - %{_vpath_builddir}/doc/api/html/z3{,.z3{,num,poly,printer,rcf,util}}.html -sed -ri 's/ at 0x[0-9a-fA-F]+//g' \ - %{_vpath_builddir}/doc/api/html/z3.z3core.html +%cmake -G Ninja \ + -DCMAKE_INSTALL_INCLUDEDIR=%{_includedir}/%{name} \ + -DCMAKE_JAVA_COMPILE_FLAGS="-source;1.8;-target;1.8" \ + -DZ3_BUILD_DOCUMENTATION:BOOL=ON \ + -DZ3_BUILD_JAVA_BINDINGS:BOOL=ON \ + -DZ3_BUILD_PYTHON_BINDINGS:BOOL=ON \ + -DZ3_INCLUDE_GIT_HASH:BOOL=OFF \ + -DZ3_INCLUDE_GIT_DESCRIBE:BOOL=OFF \ + -DZ3_USE_LIB_GMP:BOOL=ON + +%cmake_build # The cmake build system does not build the OCaml interface. Do that manually. # @@ -197,40 +151,37 @@ sed -i '/^api/s/ libz3\$(SO_EXT)//g' build/Makefile # Fourth, build the OCaml interface %make_build -C build ml -%install -a -%ifarch %{java_arches} +%install +export LANG="C.UTF-8" + +# Install the C++, python3, and Java interfaces +%cmake_install + # Move the Java interface to its correct location -mkdir -p %{buildroot}%{_libdir}/z3 +mkdir -p %{buildroot}%{_libdir}/%{name} mkdir -p %{buildroot}%{_jnidir} mv %{buildroot}%{_javadir}/*.jar %{buildroot}%{_jnidir} -ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/z3 -mv %{buildroot}%{_libdir}/libz3java.so %{buildroot}%{_libdir}/z3 -%endif +ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/%{name} +mv %{buildroot}%{_libdir}/lib%{name}java.so %{buildroot}%{_libdir}/%{name} # Install the OCaml interface -cd build/api/ml -mkdir -p %{buildroot}%{ocamldir}/Z3 -%ifarch %{ocaml_native_compiler} -cp -p *.cmx{,a,s} %{buildroot}%{ocamldir}/Z3 -%endif -cp -p META *.{a,cma,cmi,mli} %{buildroot}%{ocamldir}/Z3 -mkdir -p %{buildroot}%{ocamldir}/stublibs -cp -p *.so %{buildroot}%{ocamldir}/stublibs -cd - +pushd build/api/ml +mkdir -p %{buildroot}%{_libdir}/ocaml/Z3 +cp -p META *.{a,cma,cmi,cmx,cmxa,cmxs,mli} %{buildroot}%{_libdir}/ocaml/Z3 +mkdir -p %{buildroot}%{_libdir}/ocaml/stublibs +cp -p *.so %{buildroot}%{_libdir}/ocaml/stublibs +popd # We handle the documentation files below rm -rf %{buildroot}%{_docdir}/Z3 # Make a man page mkdir -p %{buildroot}%{_mandir}/man1 -help2man -N -o %{buildroot}%{_mandir}/man1/z3.1 \ - -n 'Satisfiability Modulo Theories (SMT) solver' %{_vpath_builddir}/z3 +help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name} -# Fix the pkgconfig file -sed -i 's,//usr,,' %{buildroot}%{_libdir}/pkgconfig/z3.pc - -%check %if %{with test} +%check +export LANG="C.UTF-8" cd build make test-z3 ./test-z3 /a @@ -238,50 +189,283 @@ cd - %endif %files -%doc README.md RELEASE_NOTES.md -%{_bindir}/z3 -%{_mandir}/man1/z3.1* +%doc README.md RELEASE_NOTES +%{_bindir}/%{name} +%{_mandir}/man1/%{name}.1* %files libs %license LICENSE.txt -%{_libdir}/libz3.so.5.1{,.*} +%{_libdir}/lib%{name}.so.4* %files devel -%{_includedir}/z3/ -%{_libdir}/libz3.so -%{_libdir}/cmake/z3/ -%{_libdir}/pkgconfig/z3.pc +%{_includedir}/%{name}/ +%{_libdir}/lib%{name}.so +%{_libdir}/cmake/%{name}/ +%{_libdir}/pkgconfig/%{name}.pc %files doc %doc %{_vpath_builddir}/doc/api/html examples %license LICENSE.txt -%ifarch %{java_arches} -%files -n java-z3 -%{_libdir}/z3/ -%{_jnidir}/com.microsoft.z3.jar -%endif +%files -n java-%{name} +%{_libdir}/%{name}/ +%{_jnidir}/com.microsoft.z3*jar -%files -n ocaml-z3 -%dir %{ocamldir}/Z3/ -%{ocamldir}/Z3/META -%{ocamldir}/Z3/*.cma -%{ocamldir}/Z3/*.cmi -%ifarch %{ocaml_native_compiler} -%{ocamldir}/Z3/*.cmxs -%endif -%{ocamldir}/stublibs/dllz3ml.so +%files -n ocaml-%{name} +%dir %{_libdir}/ocaml/Z3/ +%{_libdir}/ocaml/Z3/META +%{_libdir}/ocaml/Z3/*.cma +%{_libdir}/ocaml/Z3/*.cmi +%{_libdir}/ocaml/Z3/*.cmxs +%{_libdir}/ocaml/stublibs/*.so -%files -n ocaml-z3-devel -%{ocamldir}/Z3/*.a -%ifarch %{ocaml_native_compiler} -%{ocamldir}/Z3/*.cmx -%{ocamldir}/Z3/*.cmxa -%endif -%{ocamldir}/Z3/*.mli +%files -n ocaml-%{name}-devel +%{_libdir}/ocaml/Z3/*.a +%{_libdir}/ocaml/Z3/*.cmx +%{_libdir}/ocaml/Z3/*.cmxa +%{_libdir}/ocaml/Z3/*.mli -%files -n python3-z3 -%{python3_sitelib}/z3/ +%files -n python3-%{name} +%{python3_sitelib}/%{name}/ %changelog -%autochangelog +* Fri Dec 24 2021 Jerry James - 4.8.14-1 +- Version 4.8.14 +- Conditionalize the %%check script + +* Fri Nov 19 2021 Jerry James - 4.8.13-1 +- Version 4.8.13 + +* Tue Jul 13 2021 Jerry James - 4.8.12-1 +- Version 4.8.12 + +* Tue Jun 8 2021 Jerry James - 4.8.11-1 +- Version 4.8.11 + +* Wed Mar 3 2021 Jerry James - 4.8.10-2 +- Rebuild for ocaml-zarith 1.12 + +* Sat Feb 13 2021 Jerry James - 4.8.10-1 +- Version 4.8.10 + +* Thu Jan 28 2021 Fedora Release Engineering - 4.8.9-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild + +* Fri Dec 25 2020 Jerry James - 4.8.9-4 +- Fix the python interface (bz 1910923) + +* Mon Nov 16 2020 Jerry James - 4.8.9-3 +- Rebuild for ocaml-zarith 1.11 + +* Fri Sep 25 2020 Jerry James - 4.8.9-2 +- Rebuild for ocaml-zarith 1.10 + +* Fri Sep 11 2020 Jerry James - 4.8.9-1 +- Version 4.8.9 + +* Tue Sep 01 2020 Richard W.M. Jones - 4.8.8-7 +- OCaml 4.11.1 rebuild + +* Fri Aug 21 2020 Richard W.M. Jones - 4.8.8-6 +- OCaml 4.11.0 rebuild + +* Wed Jul 29 2020 Fedora Release Engineering - 4.8.8-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + +* Mon Jul 27 2020 Jerry James - 4.8.8-4 +- Build with cmake +- Manually build the OCaml interface +- Limit the class file version in the Java interface +- Allow the library to hide internal symbols; this means that the binary can no + longer be linked with the library, so the main package does not depend on + the -libs package +- The python package no longer contains an ELF object, so make it noarch + +* Sat Jul 11 2020 Jiri Vanek - 4.8.8-4 +- Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11 + +* Tue May 26 2020 Miro Hrončok - 4.8.8-3 +- Rebuilt for Python 3.9 + +* Thu May 14 2020 Wolfgang Stöggl - 4.8.8-2 +- Add Z3 cmake files required by find_package(Z3) + +* Sat May 9 2020 Jerry James - 4.8.8-1 +- Version 4.8.8 +- Drop all patches; all have been upstreamed + +* Mon May 04 2020 Richard W.M. Jones - 4.8.7-10 +- OCaml 4.11.0+dev2-2020-04-22 rebuild + +* Tue Apr 21 2020 Richard W.M. Jones - 4.8.7-9 +- OCaml 4.11.0 pre-release attempt 2 + +* Fri Apr 17 2020 Richard W.M. Jones - 4.8.7-8 +- OCaml 4.11.0 pre-release + +* Thu Apr 02 2020 Richard W.M. Jones - 4.8.7-7 +- Update all OCaml dependencies for RPM 4.16. + +* Wed Feb 26 2020 Richard W.M. Jones - 4.8.7-6 +- OCaml 4.10.0 final. + +* Fri Jan 31 2020 Fedora Release Engineering - 4.8.7-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild + +* Tue Jan 21 2020 Jerry James - 4.8.7-4 +- Make -doc be archful (bz 1792740) +- Add -signed-char and -gcc-10-s390x patches + +* Sun Jan 19 2020 Richard W.M. Jones - 4.8.7-4 +- OCaml 4.10.0+beta1 rebuild. + +* Fri Jan 10 2020 Richard W.M. Jones - 4.8.7-3 +- OCaml 4.09.0 for riscv64 + +* Sat Dec 7 2019 Jerry James - 4.8.7-2 +- OCaml 4.09.0 (final) rebuild + +* Thu Nov 21 2019 Jerry James - 4.8.7-1 +- New upstream version +- Add -ocamldoc patch to fix documentation build failure +- Add -trailing-zeros32 patch to fix build failures on some platforms + +* Fri Sep 20 2019 Jerry James - 4.8.6-1 +- New upstream version + +* Mon Aug 19 2019 Miro Hrončok - 4.8.5-6 +- Rebuilt for Python 3.8 + +* Fri Aug 16 2019 Richard W.M. Jones - 4.8.5-5 +- OCaml 4.08.1 (final) rebuild. + +* Wed Jul 31 2019 Richard W.M. Jones - 4.8.5-4 +- OCaml 4.08.1 (rc2) rebuild. + +* Sat Jul 27 2019 Fedora Release Engineering - 4.8.5-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild + +* Thu Jun 27 2019 Richard W.M. Jones - 4.8.5-2 +- OCaml 4.08.0 (final) rebuild. + +* Sat Jun 22 2019 Jerry James - 4.8.5-1 +- New upstream version + +* Mon Apr 29 2019 Richard W.M. Jones - 4.8.4-3 +- OCaml 4.08.0 (beta 3) rebuild. + +* Sun Feb 03 2019 Fedora Release Engineering - 4.8.4-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild + +* Mon Dec 24 2018 Jerry James - 4.8.4-1 +- New upstream version +- Drop -no-sse patch, now handled upstream + +* Wed Nov 28 2018 Jerry James - 4.8.3-1 +- New upstream version + +* Tue Oct 30 2018 Jerry James - 4.8.1-1 +- New upstream version +- Drop python2 subpackage (bz 1634981) + +* Fri Sep 7 2018 Jerry James - 4.7.1-5 +- Build with SSE2 support on 32-bit x86 + +* Sat Jul 14 2018 Fedora Release Engineering - 4.7.1-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild + +* Wed Jul 11 2018 Richard W.M. Jones - 4.7.1-4 +- OCaml 4.07.0 (final) rebuild. + +* Wed Jun 20 2018 Richard W.M. Jones - 4.7.1-3 +- OCaml 4.07.0-rc1 rebuild. + +* Tue Jun 19 2018 Miro Hrončok - 4.7.1-2 +- Rebuilt for Python 3.7 + +* Tue May 22 2018 Jerry James - 4.7.1-1 +- New upstream version (bz 1581516) +- Drop upstreamed -vector patch + +* Fri Feb 09 2018 Fedora Release Engineering - 4.6.0-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild + +* Sun Dec 24 2017 Jerry James - 4.6.0-1 +- New upstream version (bz 1527531) +- Add a python3 subpackage + +* Sun Dec 17 2017 Zbigniew Jędrzejewski-Szmek - 4.5.0-8 +- Python 2 binary package renamed to python2-z3 + See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3 + +* Fri Nov 17 2017 Richard W.M. Jones - 4.5.0-7 +- OCaml 4.06.0 rebuild. +- Add dependency on ocaml-num. + +* Tue Aug 08 2017 Richard W.M. Jones - 4.5.0-6 +- OCaml 4.05.0 rebuild. + +* Thu Jul 27 2017 Fedora Release Engineering - 4.5.0-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild + +* Tue Jun 27 2017 Richard W.M. Jones - 4.5.0-4 +- OCaml 4.04.2 rebuild. + +* Fri May 12 2017 Richard W.M. Jones - 4.5.0-3 +- OCaml 4.04.1 rebuild. + +* Sat Feb 11 2017 Fedora Release Engineering - 4.5.0-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild + +* Tue Nov 8 2016 Jerry James - 4.5.0-1 +- New upstream version +- All patches except -sse2 have been upstreamed; drop them +- Upstream now ships __init__.py; drop our version +- Drop all the buildroot tricks; Makefile supports DESTDIR now +- Use C.UTF-8 instead of en_US.UTF-8 + +* Sat Nov 05 2016 Richard W.M. Jones - 4.4.1-8 +- Rebuild for OCaml 4.04.0. + +* Tue Jul 19 2016 Fedora Release Engineering - 4.4.1-7 +- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages + +* Wed Jul 13 2016 Jerry James - 4.4.1-6 +- Fix Java interface (bz 1353773) + +* Thu Jun 30 2016 Jerry James - 4.4.1-5 +- Fix __init__.py (bz 1351580) + +* Fri Feb 05 2016 Fedora Release Engineering - 4.4.1-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + +* Tue Feb 02 2016 Jonathan Wakely - 4.4.1-3 +- Patched for C++11 compatibility. + +* Wed Jan 20 2016 Jerry James - 4.4.1-2 +- Add __init__.py to the python interface (bz 1298429) + +* Thu Oct 8 2015 Jerry James - 4.4.1-1 +- New upstream version + +* Tue Jul 28 2015 Richard W.M. Jones - 4.4.0-4 +- OCaml 4.02.3 rebuild. + +* Thu Jun 25 2015 Richard W.M. Jones - 4.4.0-3 +- ocaml-4.02.2 final rebuild. + +* Thu Jun 18 2015 Richard W.M. Jones - 4.4.0-2 +- ocaml-4.02.2 rebuild. + +* Wed May 27 2015 Jerry James - 4.4.0-1 +- New upstream version + +* Wed Apr 22 2015 Jerry James - 4.3.2-3.20150329git.29606b5 +- Fix issues found on review (bz 1206826) + +* Mon Mar 30 2015 Jerry James - 4.3.2-2.20150329git.29606b5 +- Update to latest git HEAD +- Include examples in -doc + +* Sat Mar 28 2015 Jerry James - 4.3.2-1.20150327git.ac21ffe +- Initial RPM