Compare commits
106 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
7e13c11207 | ||
|
4b6c6d8a09 | ||
|
28838627de | ||
|
69a9e69b24 | ||
|
6e97219e4f | ||
|
75819831d1 | ||
|
e32772559e | ||
|
7ce32a5a19 | ||
|
8f4eee1504 | ||
|
7fe18e3f96 | ||
|
332c05596a | ||
|
a9a7082547 | ||
|
b4c9000b46 | ||
|
67bb880db8 | ||
|
647df7bf04 | ||
|
ee66c97a95 | ||
|
0c0af7bf22 | ||
|
42e82b1a86 | ||
|
fed39e8c56 | ||
|
70124da6df | ||
|
aca6b5306f | ||
|
6264c50021 | ||
|
6bc865dcfc | ||
|
1b84535f23 | ||
|
52e2a85d5e | ||
|
700febff68 | ||
|
013801252f | ||
|
d607dff554 | ||
|
c6dc115d0d | ||
|
6bc7033f70 | ||
|
d11a9bc22b | ||
|
d44508e7e3 | ||
|
0d4eb3e8f9 | ||
|
d4a35ac719 | ||
|
cea5f750e3 | ||
|
4a9d6bf0fd | ||
|
6ffdbbf843 | ||
|
533bf73c99 | ||
|
25c7a7705b | ||
|
969a5ffd21 | ||
|
1db6cfa63f | ||
|
61301a359d | ||
|
306bdba1f5 | ||
|
b504b06e75 | ||
|
bad77dc612 | ||
|
813e700557 | ||
|
2a1214c7dc | ||
|
09e6f045f4 | ||
|
6ca61cb935 | ||
|
a7058774ee | ||
|
259befebd7 | ||
|
1844f63fc1 | ||
|
753e0f37ec | ||
|
b42ca529b7 | ||
|
47902ea172 | ||
|
6224468a06 | ||
|
13876e8c5c | ||
|
4c91858d05 | ||
|
069e9003bb | ||
|
afbbbc365e | ||
|
1326348b3f | ||
|
ffaa2f2743 | ||
|
7adeedfa23 | ||
|
bab37a06cd | ||
|
40a2541855 | ||
|
dd0859c8cf | ||
|
f61d5ceefa | ||
|
cbb2590453 | ||
|
1c67231cdd | ||
|
126b79d98e | ||
|
85a56b99eb | ||
|
c3e8e15b33 | ||
|
8a9847e6d4 | ||
|
7f69c91f2c | ||
|
64652afb6e | ||
|
d382fe7d06 | ||
|
0543e7c3d8 | ||
|
b3243f9732 | ||
|
692cf253e4 | ||
|
bc5419f37d | ||
|
42ae6f3f75 | ||
|
85e1fe0c7d | ||
|
e06c6ff41f | ||
|
1561678c31 | ||
|
aa3ff805f2 | ||
|
1f2d60975b | ||
|
fb4076ae94 | ||
|
6333387608 | ||
|
669384ea2a | ||
|
c4b8d05710 | ||
|
9a334660bc | ||
|
22bb19946c | ||
|
31ee134bbf | ||
|
9257eb278f | ||
|
4c5d018dee | ||
|
e6a17e9e23 | ||
|
96fd88021f | ||
|
f0383c67da | ||
|
3bb110b427 | ||
|
43e43e0b63 | ||
|
801e577186 | ||
|
25167ae5c7 | ||
|
3c59b007cd | ||
|
19ea46f605 | ||
|
fd4d6b2db0 | ||
|
c61e6f86e0 |
6
.gitignore
vendored
6
.gitignore
vendored
@ -1,3 +1,3 @@
|
||||
/z3-4.4.0.tar.gz
|
||||
/z3-4.4.1.tar.gz
|
||||
/z3-4.5.0.tar.gz
|
||||
/z3-*.tar.gz
|
||||
/Z3-*.tar.gz
|
||||
/Z3_cmake_files.tar.gz
|
||||
|
5
README.md
Normal file
5
README.md
Normal file
@ -0,0 +1,5 @@
|
||||
# z3
|
||||
|
||||
[Z3](https://github.com/Z3Prover/z3) is a theorem prover from Microsoft
|
||||
Research. If you are not familiar with Z3, you can start
|
||||
[here](https://github.com/Z3Prover/z3/wiki#background).
|
2
sources
2
sources
@ -1 +1 @@
|
||||
f332befa0d66d81818a06279a0973e25 z3-4.5.0.tar.gz
|
||||
SHA512 (z3-4.12.4.tar.gz) = fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b
|
||||
|
56
z3-ocaml.patch
Normal file
56
z3-ocaml.patch
Normal file
@ -0,0 +1,56 @@
|
||||
--- 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')
|
@ -1,12 +0,0 @@
|
||||
--- src/util/hwf.cpp.orig 2016-11-07 15:02:30.000000000 -0700
|
||||
+++ src/util/hwf.cpp 2016-11-08 21:01:53.533487316 -0700
|
||||
@@ -29,8 +29,7 @@ Revision History:
|
||||
#include<fenv.h>
|
||||
#endif
|
||||
|
||||
-#if defined(__x86_64__) || defined(_M_X64) || \
|
||||
- defined(__i386) || defined(_M_IX86)
|
||||
+#if defined(__x86_64__) || defined(_M_X64)
|
||||
#define USE_INTRINSICS
|
||||
#endif
|
||||
|
653
z3.spec
653
z3.spec
@ -1,35 +1,47 @@
|
||||
# Python 3 NOTE: Although there are references to python 3 support in the
|
||||
# source tree, building with python 3 currently fails. I fixed several
|
||||
# problems before giving up. If someone would like to fix all of the problems
|
||||
# and submit the results upstream, I'm sure many people would be grateful.
|
||||
# TODO: A Julia interface is now available, but requires
|
||||
# https://github.com/JuliaInterop/libcxxwrap-julia, which is not currently
|
||||
# available in Fedora.
|
||||
|
||||
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
|
||||
%global medtag d57a2a6dce92
|
||||
# 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.
|
||||
|
||||
# Tests are off by default because some of the tests require more memory than
|
||||
# the koji builders have available.
|
||||
%bcond_with test
|
||||
|
||||
Name: z3
|
||||
Version: 4.5.0
|
||||
Release: 6%{?dist}
|
||||
Version: 4.12.4
|
||||
Release: 4%{?dist}
|
||||
Summary: Satisfiability Modulo Theories (SMT) solver
|
||||
|
||||
License: MIT
|
||||
URL: https://github.com/Z3Prover/z3
|
||||
Source0: https://github.com/Z3Prover/z3/archive/%{name}-%{version}.tar.gz
|
||||
# Do not try to build with SSE2 on non-x86_64 arches
|
||||
Patch0: %{name}-sse2.patch
|
||||
# Do not try to build or install native OCaml artifacts on bytecode-only arches
|
||||
Patch0: %{name}-ocaml.patch
|
||||
|
||||
BuildRequires: cmake
|
||||
BuildRequires: doxygen
|
||||
BuildRequires: gcc-c++
|
||||
BuildRequires: gmp-devel
|
||||
BuildRequires: graphviz
|
||||
BuildRequires: help2man
|
||||
%ifarch %{java_arches}
|
||||
BuildRequires: java-devel
|
||||
BuildRequires: jpackage-utils
|
||||
BuildRequires: javapackages-tools
|
||||
%endif
|
||||
BuildRequires: make
|
||||
BuildRequires: ninja-build
|
||||
%ifnarch %{ix86}
|
||||
BuildRequires: ocaml
|
||||
BuildRequires: ocaml-findlib
|
||||
BuildRequires: ocaml-ocamldoc
|
||||
BuildRequires: python2-devel
|
||||
BuildRequires: python2-setuptools
|
||||
|
||||
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
||||
BuildRequires: ocaml-zarith-devel
|
||||
%endif
|
||||
BuildRequires: python3-devel
|
||||
BuildRequires: %{py3_dist setuptools}
|
||||
|
||||
%description
|
||||
Z3 is a satisfiability modulo theories (SMT) solver; given a set of
|
||||
@ -42,213 +54,554 @@ uninterpreted functions, and quantifiers.
|
||||
%package libs
|
||||
Summary: Library for applications that use z3 functionality
|
||||
|
||||
# This can be removed when F40 reaches EOL
|
||||
%ifnarch %{java_arches}
|
||||
Obsoletes: java-z3 < 4.8.17-5
|
||||
%endif
|
||||
|
||||
%description libs
|
||||
Library for applications that use z3 functionality.
|
||||
|
||||
%package devel
|
||||
Summary: Header files for build applications that use z3
|
||||
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
||||
Requires: z3-libs%{?_isa} = %{version}-%{release}
|
||||
|
||||
%description devel
|
||||
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/bc_s.png: GPL-1.0-or-later
|
||||
# html/bdwn.png: GPL-1.0-or-later
|
||||
# html/closed.png: GPL-1.0-or-later
|
||||
# html/doc.png: GPL-1.0-or-later
|
||||
# html/doxygen.css: GPL-1.0-or-later
|
||||
# html/doxygen.svg: GPL-1.0-or-later
|
||||
# html/dynsections.js: MIT
|
||||
# html/folderclosed.png: GPL-1.0-or-later
|
||||
# html/folderopen.png: GPL-1.0-or-later
|
||||
# html/jquery.js: MIT
|
||||
# html/nav_f.png: GPL-1.0-or-later
|
||||
# html/nav_g.png: GPL-1.0-or-later
|
||||
# html/nav_h.png: GPL-1.0-or-later
|
||||
# html/open.png: GPL-1.0-or-later
|
||||
# html/search/search.css: GPL-1.0-or-later
|
||||
# html/search/search.js: MIT
|
||||
# html/search/search_l.png: GPL-1.0-or-later
|
||||
# html/search/search_m.png: GPL-1.0-or-later
|
||||
# html/search/search_r.png: GPL-1.0-or-later
|
||||
# html/splitbar.png: GPL-1.0-or-later
|
||||
# html/sync_off.png: GPL-1.0-or-later
|
||||
# html/sync_on.png: GPL-1.0-or-later
|
||||
# html/tab_a.png: GPL-1.0-or-later
|
||||
# html/tab_b.png: GPL-1.0-or-later
|
||||
# html/tab_h.png: GPL-1.0-or-later
|
||||
# html/tab_s.png: GPL-1.0-or-later
|
||||
# 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.
|
||||
|
||||
%package -n java-%{name}
|
||||
%ifarch %{java_arches}
|
||||
%package -n java-z3
|
||||
Summary: Java interface to z3
|
||||
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
||||
Requires: z3-libs%{?_isa} = %{version}-%{release}
|
||||
Requires: java
|
||||
Requires: jpackage-utils
|
||||
Requires: javapackages-tools
|
||||
|
||||
%description -n java-%{name}
|
||||
%description -n java-z3
|
||||
Java interface to z3.
|
||||
%endif
|
||||
|
||||
%package -n ocaml-%{name}
|
||||
# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
|
||||
%ifnarch %{ix86}
|
||||
%package -n ocaml-z3
|
||||
Summary: Ocaml interface to z3
|
||||
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
||||
Requires: z3-libs%{?_isa} = %{version}-%{release}
|
||||
|
||||
%description -n ocaml-%{name}
|
||||
%description -n ocaml-z3
|
||||
Ocaml interface to z3.
|
||||
|
||||
%package -n ocaml-%{name}-devel
|
||||
%package -n ocaml-z3-devel
|
||||
Summary: Files for building ocaml applications that use z3
|
||||
Requires: ocaml-%{name}%{?_isa} = %{version}-%{release}
|
||||
Requires: ocaml-z3%{?_isa} = %{version}-%{release}
|
||||
Requires: ocaml-zarith-devel%{?_isa}
|
||||
|
||||
%description -n ocaml-%{name}-devel
|
||||
%description -n ocaml-z3-devel
|
||||
Files for building ocaml applications that use z3.
|
||||
%endif
|
||||
|
||||
%package -n python-%{name}
|
||||
Summary: Python 2 interface to z3
|
||||
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
||||
%package -n python3-z3
|
||||
Summary: Python 3 interface to z3
|
||||
BuildArch: noarch
|
||||
Requires: z3-libs = %{version}-%{release}
|
||||
|
||||
%description -n python-%{name}
|
||||
Python 2 interface to z3.
|
||||
%description -n python3-z3
|
||||
Python 3 interface to z3.
|
||||
|
||||
%prep
|
||||
%setup -q -n %{name}-%{name}-%{version}
|
||||
%patch0
|
||||
%autosetup -N -n %{name}-%{name}-%{version}
|
||||
%ifnarch %{ocaml_native_compiler}
|
||||
%patch -P0 -p1
|
||||
%endif
|
||||
%autopatch -m 1 -p1
|
||||
|
||||
# Install python objects into the right place, enable verbose builds, use
|
||||
# Fedora CFLAGS, preserve timestamps when installing, include the entire
|
||||
# contents of the archives in the library, link the library with the correct
|
||||
# flags, don't hide library symbols needed by the executable, use an soname,
|
||||
# and build the ocaml files with debug info.
|
||||
sed -e "s|^\(PYTHON_PACKAGE_DIR=\).*|\1'%{python2_sitearch}/z3'|" \
|
||||
# Enable verbose builds, use Fedora CFLAGS, preserve timestamps when installing,
|
||||
# include the entire contents of the archives in the library, link the library
|
||||
# with the correct flags, and build the ocaml files with debuginfo.
|
||||
sed \
|
||||
-e 's/@$(CXX)/$(CXX)/' \
|
||||
-e 's/ -O3//;s/ -fomit-frame-pointer//' \
|
||||
-e '/O3/d' \
|
||||
-e "s/\(['\"]\)cp\([^[:alnum:]]\)/\1cp -p\2/" \
|
||||
-e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive -Wl,--as-needed'/" \
|
||||
-e "/SLIBFLAGS/s|-shared|& $RPM_LD_FLAGS -Wl,--whole-archive|" \
|
||||
-e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive'/" \
|
||||
-e '/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|' \
|
||||
-e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' \
|
||||
-e "s/'tstomp\.cpp',/& '-fPIC',/" \
|
||||
-e 's/ -fvisibility=hidden//' \
|
||||
-e '/dll_file/s/\$(SLINK_FLAGS)/& -Wl,-h,lib%{name}.so.0/' \
|
||||
-e "s/OCAML_FLAGS = ''/OCAML_FLAGS = '-g'/" \
|
||||
-i scripts/mk_util.py
|
||||
|
||||
# Do not try to build with SSE2 support on non-x86_64 arches.
|
||||
%ifnarch x86_64
|
||||
sed -i 's/exec_compiler_cmd.*-msse.*:/None:/' scripts/mk_util.py
|
||||
%endif
|
||||
|
||||
# Comply with the Java packaging guidelines
|
||||
sed -e 's,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so"),' \
|
||||
# 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'/" \
|
||||
-i scripts/update_api.py
|
||||
|
||||
# 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
|
||||
|
||||
# Fix permissions
|
||||
find -O3 src -type f -perm /0111 \( -name \*.cpp -o -name \*.h \) \
|
||||
-exec chmod 0644 {} +
|
||||
|
||||
# Fix ocaml documentation generation (broken in 4.4.0, broken more in 4.5.0)
|
||||
sed -e 's,api\\html\\ml,api/html/ml,' \
|
||||
-e 's,python/z3.py,python/z3/z3.py,' \
|
||||
-e 's,z3enums\.mli,z3enums.ml,' \
|
||||
-i doc/mk_api_doc.py
|
||||
# Turn off HTML timestamps for reproducible builds
|
||||
sed -i '/HTML_TIMESTAMP/s/YES/NO/' doc/z3api.cfg.in doc/z3code.dox
|
||||
|
||||
%build
|
||||
export CXXFLAGS="$RPM_OPT_FLAGS -fPIC"
|
||||
export LDFLAGS="$RPM_LD_FLAGS -Wl,--as-needed -lgmp"
|
||||
export LANG="C.UTF-8"
|
||||
export PYTHON="%{__python2}"
|
||||
export LANG=C.UTF-8
|
||||
export PYTHON=%{python3}
|
||||
|
||||
%cmake -G Ninja \
|
||||
-DCMAKE_INSTALL_INCLUDEDIR=%{_includedir}/z3 \
|
||||
-DCMAKE_JAVA_COMPILE_FLAGS="-source;1.8;-target;1.8" \
|
||||
-DZ3_BUILD_DOCUMENTATION:BOOL=ON \
|
||||
%ifarch %{java_arches}
|
||||
-DZ3_BUILD_JAVA_BINDINGS:BOOL=ON \
|
||||
%endif
|
||||
-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
|
||||
|
||||
%ifnarch %{ix86}
|
||||
# The cmake build system does not build the OCaml interface. Do that manually.
|
||||
#
|
||||
# First, run the configure script to generate several files.
|
||||
# This is NOT an autoconf-generated configure script.
|
||||
./configure -p %{_prefix} --githash=%{medtag} --gmp --java --ml
|
||||
# FIXME: intermittent build failures with %%{?_smp_mflags}
|
||||
make -C build
|
||||
./configure -p %{_prefix} --gmp --ml
|
||||
|
||||
# The z3 binary is NOT linked with libz3, but instead has duplicate copies of a
|
||||
# lot of object files, so rebuild it. But first, add library links.
|
||||
pushd build
|
||||
mv libz3.so libz3.so.0.0.0
|
||||
ln -s libz3.so.0.0.0 libz3.so.0
|
||||
ln -s libz3.so.0 libz3.so
|
||||
g++ $RPM_OPT_FLAGS -fopenmp -o z3 shell/*.o $LDFLAGS -L. -lz3
|
||||
popd
|
||||
# Second, to prevent make from rebuilding the entire library, copy the
|
||||
# cmake-built library to where make expects it.
|
||||
cp -dp %{_vpath_builddir}/libz3.so* build
|
||||
|
||||
# Build the documentation
|
||||
pushd doc
|
||||
%{__python2} mk_api_doc.py --ml
|
||||
popd
|
||||
# Third, make wants to rebuild libz3.so since its dependencies do not exist.
|
||||
# Do selective Makefile surgery to prevent this.
|
||||
sed -i '/^api/s/ libz3\$(SO_EXT)//g' build/Makefile
|
||||
|
||||
# Fourth, build the OCaml interface
|
||||
%make_build -C build ml
|
||||
%endif
|
||||
|
||||
%install
|
||||
export LANG="C.UTF-8"
|
||||
|
||||
# Install
|
||||
make -C build install DESTDIR=%{buildroot}
|
||||
|
||||
# On 64-bit systems, move the library to the right directory
|
||||
if [ "%{_libdir}" != "%{_prefix}/lib" ]; then
|
||||
mkdir -p %{buildroot}%{_libdir}
|
||||
mv %{buildroot}%{_prefix}/lib/libz3.so* %{buildroot}%{_libdir}
|
||||
fi
|
||||
|
||||
# Make library links
|
||||
mv %{buildroot}%{_libdir}/libz3.so %{buildroot}%{_libdir}/libz3.so.0.0.0
|
||||
ln -s libz3.so.0.0.0 %{buildroot}%{_libdir}/libz3.so.0
|
||||
ln -s libz3.so.0 %{buildroot}%{_libdir}/libz3.so
|
||||
|
||||
# Move the header files into their own directory
|
||||
mkdir -p %{buildroot}%{_includedir}/%{name}
|
||||
mv %{buildroot}%{_includedir}/*.h %{buildroot}%{_includedir}/%{name}
|
||||
|
||||
# Install the python interface
|
||||
mkdir -p %{buildroot}%{python2_sitearch}
|
||||
cp -a build/python/%{name} %{buildroot}%{python2_sitearch}
|
||||
ln -s %{_libdir}/lib%{name}.so.0 \
|
||||
%{buildroot}%{python2_sitearch}/%{name}/lib%{name}.so
|
||||
# Install the C++, python3, and Java interfaces
|
||||
%cmake_install
|
||||
|
||||
%ifarch %{java_arches}
|
||||
# Move the Java interface to its correct location
|
||||
mkdir -p %{buildroot}%{_libdir}/%{name}
|
||||
mkdir -p %{buildroot}%{_libdir}/z3
|
||||
mkdir -p %{buildroot}%{_jnidir}
|
||||
mv %{buildroot}%{_prefix}/lib/*.jar %{buildroot}%{_jnidir}
|
||||
ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/%{name}
|
||||
mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
|
||||
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
|
||||
|
||||
#%%check
|
||||
# Some of the tests require more memory than the koji builders have available.
|
||||
# However, valgrind also shows a large number of memory leaks. I will work
|
||||
# with upstream to fix the leaks, then try again to see if the tests can be
|
||||
# run on the koji builders successfully. If not, the tests will have to be run
|
||||
# manually on machines with more available memory.
|
||||
#
|
||||
#export LANG="C.UTF-8"
|
||||
#pushd build
|
||||
#make test
|
||||
#./test-z3 /a
|
||||
#popd
|
||||
%ifnarch %{ix86}
|
||||
# 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 -
|
||||
%endif
|
||||
|
||||
%post libs -p /sbin/ldconfig
|
||||
# We handle the documentation files below
|
||||
rm -rf %{buildroot}%{_docdir}/Z3
|
||||
|
||||
%postun libs -p /sbin/ldconfig
|
||||
# Make a man page
|
||||
mkdir -p %{buildroot}%{_mandir}/man1
|
||||
help2man -N -o %{buildroot}%{_mandir}/man1/z3.1 %{_vpath_builddir}/z3
|
||||
|
||||
# Fix the pkgconfig file
|
||||
sed -i 's,//usr,,' %{buildroot}%{_libdir}/pkgconfig/z3.pc
|
||||
|
||||
%if %{with test}
|
||||
%check
|
||||
export LANG="C.UTF-8"
|
||||
cd build
|
||||
make test-z3
|
||||
./test-z3 /a
|
||||
cd -
|
||||
%endif
|
||||
|
||||
%files
|
||||
%doc README.md RELEASE_NOTES
|
||||
%{_bindir}/%{name}
|
||||
%doc README.md RELEASE_NOTES.md
|
||||
%{_bindir}/z3
|
||||
%{_mandir}/man1/z3.1*
|
||||
|
||||
%files libs
|
||||
%license LICENSE.txt
|
||||
%{_libdir}/lib%{name}.so.*
|
||||
%{_libdir}/libz3.so.4.12*
|
||||
|
||||
%files devel
|
||||
%{_includedir}/%{name}/
|
||||
%{_libdir}/lib%{name}.so
|
||||
%{_includedir}/z3/
|
||||
%{_libdir}/libz3.so
|
||||
%{_libdir}/cmake/z3/
|
||||
%{_libdir}/pkgconfig/z3.pc
|
||||
|
||||
%files doc
|
||||
%doc doc/api/html examples
|
||||
%doc %{_vpath_builddir}/doc/api/html examples
|
||||
%license LICENSE.txt
|
||||
|
||||
%files -n java-%{name}
|
||||
%{_libdir}/%{name}/
|
||||
%{_jnidir}/com.microsoft.z3.jar
|
||||
%ifarch %{java_arches}
|
||||
%files -n java-z3
|
||||
%{_libdir}/z3/
|
||||
%{_jnidir}/com.microsoft.z3*jar
|
||||
%endif
|
||||
|
||||
%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/Z3/*.so
|
||||
%ifnarch %{ix86}
|
||||
%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/*.so
|
||||
|
||||
%files -n ocaml-%{name}-devel
|
||||
%{_libdir}/ocaml/Z3/*.a
|
||||
%{_libdir}/ocaml/Z3/*.cmx
|
||||
%{_libdir}/ocaml/Z3/*.cmxa
|
||||
%{_libdir}/ocaml/Z3/*.mli
|
||||
%files -n ocaml-z3-devel
|
||||
%{ocamldir}/Z3/*.a
|
||||
%ifarch %{ocaml_native_compiler}
|
||||
%{ocamldir}/Z3/*.cmx
|
||||
%{ocamldir}/Z3/*.cmxa
|
||||
%endif
|
||||
%{ocamldir}/Z3/*.mli
|
||||
%endif
|
||||
|
||||
%files -n python-%{name}
|
||||
%{python2_sitearch}/%{name}/
|
||||
%files -n python3-z3
|
||||
%{python3_sitelib}/z3/
|
||||
|
||||
%changelog
|
||||
* Thu Dec 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.4-4
|
||||
- Fix python package library load name (bz 2255464)
|
||||
|
||||
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.4-3
|
||||
- OCaml 5.1.1 + s390x code gen fix for Fedora 40
|
||||
|
||||
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.4-2
|
||||
- OCaml 5.1.1 rebuild for Fedora 40
|
||||
|
||||
* Sat Dec 9 2023 Jerry James <loganjerry@gmail.com> - 4.12.4-1
|
||||
- Version 4.12.4
|
||||
- Drop upstreamed patches: python, stdint, escapes
|
||||
|
||||
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.2-7
|
||||
- OCaml 5.1 rebuild for Fedora 40
|
||||
|
||||
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-6
|
||||
- Rebuild for ocaml-zarith 1.13
|
||||
|
||||
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.2-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
||||
|
||||
* Fri Jul 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-4
|
||||
- Exclude the OCaml and Java subpackages only on i386
|
||||
|
||||
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.2-4
|
||||
- OCaml 5.0 rebuild for Fedora 39
|
||||
|
||||
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-3
|
||||
- OCaml 5.0.0 rebuild
|
||||
|
||||
* Thu Jun 15 2023 Python Maint <python-maint@redhat.com> - 4.12.2-2
|
||||
- Rebuilt for Python 3.12
|
||||
|
||||
* Mon May 15 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-1
|
||||
- Version 4.12.2
|
||||
|
||||
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.1-2
|
||||
- Rebuild OCaml packages for F38
|
||||
|
||||
* Sat Jan 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.1-1
|
||||
- Version 4.12.1
|
||||
|
||||
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.0-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 4.12.0-1
|
||||
- Version 4.12.0
|
||||
- Drop upstreamed -data-race and -uninit patches
|
||||
|
||||
* Sun Jan 8 2023 Jerry James <loganjerry@gmail.com> - 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 <loganjerry@gmail.com> - 4.11.2-1
|
||||
- Further clarify license of the doc subpackage (SPDX)
|
||||
|
||||
* Sun Sep 4 2022 Jerry James <loganjerry@gmail.com> - 4.11.2-1
|
||||
- Version 4.11.2
|
||||
|
||||
* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1
|
||||
- Version 4.11.0
|
||||
- Clarify license of the doc subpackage
|
||||
|
||||
* Mon Aug 8 2022 Jerry James <loganjerry@gmail.com> - 4.10.2-1
|
||||
- Version 4.10.2
|
||||
|
||||
* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.17-6
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Tue Jun 28 2022 Jerry James <loganjerry@gmail.com> - 4.8.17-5
|
||||
- Do not support Java on i686 (rhbz#2104112)
|
||||
- Use new OCaml macros
|
||||
|
||||
* Mon Jun 20 2022 Python Maint <python-maint@redhat.com> - 4.8.17-4
|
||||
- Rebuilt for Python 3.11
|
||||
|
||||
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.17-3
|
||||
- OCaml 4.14.0 rebuild
|
||||
|
||||
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 4.8.17-2
|
||||
- Rebuilt for Python 3.11
|
||||
|
||||
* Mon May 16 2022 Jerry James <loganjerry@gmail.com> - 4.8.17-1
|
||||
- Version 4.8.17
|
||||
- Drop upstreamed -ambiguous-overload patch
|
||||
|
||||
* Thu Mar 24 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-2
|
||||
- Add -ambiguous-overload patch to fix cppcheck build failure
|
||||
|
||||
* Mon Mar 21 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-1
|
||||
- Version 4.8.15
|
||||
|
||||
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 4.8.14-4
|
||||
- Rebuilt for java-17-openjdk as system jdk
|
||||
|
||||
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3
|
||||
- OCaml 4.13.1 rebuild to remove package notes
|
||||
|
||||
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.14-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Fri Dec 24 2021 Jerry James <loganjerry@gmail.com> - 4.8.14-1
|
||||
- Version 4.8.14
|
||||
- Conditionalize the %%check script
|
||||
|
||||
* Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1
|
||||
- Version 4.8.13
|
||||
|
||||
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.12-3
|
||||
- OCaml 4.13.1 build
|
||||
|
||||
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.12-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1
|
||||
- Version 4.8.12
|
||||
|
||||
* Sun Jun 6 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
|
||||
- Version 4.8.11
|
||||
|
||||
* Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 4.8.10-6
|
||||
- Rebuilt for Python 3.10
|
||||
|
||||
* Wed Mar 3 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-5
|
||||
- Rebuild for ocaml-zarith 1.12
|
||||
|
||||
* Mon Mar 1 20:17:48 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-4
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Mon Mar 1 19:41:16 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-3
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Mon Mar 1 16:57:45 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-2
|
||||
- OCaml 4.12.0 build
|
||||
|
||||
* Sat Feb 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-1
|
||||
- Version 4.8.10
|
||||
|
||||
* Thu Jan 28 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.9-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||
|
||||
* Fri Dec 25 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-4
|
||||
- Fix the python interface (bz 1910923)
|
||||
|
||||
* Mon Nov 16 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-3
|
||||
- Rebuild for ocaml-zarith 1.11
|
||||
|
||||
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-2
|
||||
- Rebuild for ocaml-zarith 1.10
|
||||
|
||||
* Fri Sep 11 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-1
|
||||
- Version 4.8.9
|
||||
|
||||
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.8-7
|
||||
- OCaml 4.11.1 rebuild
|
||||
|
||||
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.8-6
|
||||
- OCaml 4.11.0 rebuild
|
||||
|
||||
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.8-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Mon Jul 27 2020 Jerry James <loganjerry@gmail.com> - 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 <jvanek@redhat.com> - 4.8.8-4
|
||||
- Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
|
||||
|
||||
* Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 4.8.8-3
|
||||
- Rebuilt for Python 3.9
|
||||
|
||||
* Thu May 14 2020 Wolfgang Stöggl <c72578@yahoo.de> - 4.8.8-2
|
||||
- Add Z3 cmake files required by find_package(Z3)
|
||||
|
||||
* Sat May 9 2020 Jerry James <loganjerry@gmail.com> - 4.8.8-1
|
||||
- Version 4.8.8
|
||||
- Drop all patches; all have been upstreamed
|
||||
|
||||
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-10
|
||||
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
||||
|
||||
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-9
|
||||
- OCaml 4.11.0 pre-release attempt 2
|
||||
|
||||
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-8
|
||||
- OCaml 4.11.0 pre-release
|
||||
|
||||
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-7
|
||||
- Update all OCaml dependencies for RPM 4.16.
|
||||
|
||||
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-6
|
||||
- OCaml 4.10.0 final.
|
||||
|
||||
* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.7-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
||||
|
||||
* Tue Jan 21 2020 Jerry James <loganjerry@gmail.com> - 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 <rjones@redhat.com> - 4.8.7-4
|
||||
- OCaml 4.10.0+beta1 rebuild.
|
||||
|
||||
* Fri Jan 10 2020 Richard W.M. Jones <rjones@redhat.com> - 4.8.7-3
|
||||
- OCaml 4.09.0 for riscv64
|
||||
|
||||
* Sat Dec 7 2019 Jerry James <loganjerry@gmail.com> - 4.8.7-2
|
||||
- OCaml 4.09.0 (final) rebuild
|
||||
|
||||
* Thu Nov 21 2019 Jerry James <loganjerry@gmail.com> - 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 <loganjerry@gmail.com> - 4.8.6-1
|
||||
- New upstream version
|
||||
|
||||
* Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 4.8.5-6
|
||||
- Rebuilt for Python 3.8
|
||||
|
||||
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.5-5
|
||||
- OCaml 4.08.1 (final) rebuild.
|
||||
|
||||
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.5-4
|
||||
- OCaml 4.08.1 (rc2) rebuild.
|
||||
|
||||
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.5-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||
|
||||
* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.5-2
|
||||
- OCaml 4.08.0 (final) rebuild.
|
||||
|
||||
* Sat Jun 22 2019 Jerry James <loganjerry@gmail.com> - 4.8.5-1
|
||||
- New upstream version
|
||||
|
||||
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 4.8.4-3
|
||||
- OCaml 4.08.0 (beta 3) rebuild.
|
||||
|
||||
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.4-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
||||
|
||||
* Mon Dec 24 2018 Jerry James <loganjerry@gmail.com> - 4.8.4-1
|
||||
- New upstream version
|
||||
- Drop -no-sse patch, now handled upstream
|
||||
|
||||
* Wed Nov 28 2018 Jerry James <loganjerry@gmail.com> - 4.8.3-1
|
||||
- New upstream version
|
||||
|
||||
* Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 4.8.1-1
|
||||
- New upstream version
|
||||
- Drop python2 subpackage (bz 1634981)
|
||||
|
||||
* Fri Sep 7 2018 Jerry James <loganjerry@gmail.com> - 4.7.1-5
|
||||
- Build with SSE2 support on 32-bit x86
|
||||
|
||||
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.7.1-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||
|
||||
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 4.7.1-4
|
||||
- OCaml 4.07.0 (final) rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 4.7.1-3
|
||||
- OCaml 4.07.0-rc1 rebuild.
|
||||
|
||||
* Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 4.7.1-2
|
||||
- Rebuilt for Python 3.7
|
||||
|
||||
* Tue May 22 2018 Jerry James <loganjerry@gmail.com> - 4.7.1-1
|
||||
- New upstream version (bz 1581516)
|
||||
- Drop upstreamed -vector patch
|
||||
|
||||
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 4.6.0-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
* Sun Dec 24 2017 Jerry James <loganjerry@gmail.com> - 4.6.0-1
|
||||
- New upstream version (bz 1527531)
|
||||
- Add a python3 subpackage
|
||||
|
||||
* Sun Dec 17 2017 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 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 <rjones@redhat.com> - 4.5.0-7
|
||||
- OCaml 4.06.0 rebuild.
|
||||
- Add dependency on ocaml-num.
|
||||
|
||||
* Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 4.5.0-6
|
||||
- OCaml 4.05.0 rebuild.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user