rpms/z3
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

New upstream version.

Browse Source
This commit is contained in:
Jerry James 2018-11-28 18:49:33 -07:00
parent 31ee134bbf
commit 22bb19946c
3 changed files with 13 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sources
View File

@ -1 +1 @@
SHA512 (z3-4.8.1.tar.gz) = f3311d07f6375d3d294d9c495b0ce4022258dd95b1f6bec93bdf5a60d074c75fd13daf1da7b67753acb4084e33395088513dfd85fe5c2cf76913ba0107e5782b
SHA512 (z3-4.8.3.tar.gz) = 34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044

16
z3-no-sse.patch
View File

@ -1,6 +1,6 @@
--- scripts/mk_util.py.orig 2018-10-15 13:52:38.000000000 -0600
+++ scripts/mk_util.py 2018-10-31 19:27:59.067093823 -0600
@@ -112,7 +112,7 @@ GUARD_CF=False
--- scripts/mk_util.py.orig 2018-11-19 13:21:17.000000000 -0700
+++ scripts/mk_util.py 2018-11-28 18:16:23.957446322 -0700
@@ -115,7 +115,7 @@ GUARD_CF=False
ALWAYS_DYNAMIC_BASE=False
FPMATH="Default"
@ -9,7 +9,7 @@
def check_output(cmd):
@@ -294,10 +294,10 @@ def test_fpmath(cc):
@@ -297,10 +297,10 @@ def test_fpmath(cc):
t = TempFile('tstsse.cpp')
t.add('int main() { return 42; }\n')
t.commit()
@ -22,8 +22,8 @@
FPMATH_FLAGS="-msse -msse2"
return "SSE2-CLANG"
elif exec_compiler_cmd([cc, CPPFLAGS, 'tstsse.cpp', LDFLAGS, '-mfpu=vfp -mfloat-abi=hard']) == 0:
--- src/util/hwf.cpp.orig 2018-10-15 13:52:38.000000000 -0600
+++ src/util/hwf.cpp 2018-10-31 19:28:42.528890124 -0600
--- src/util/hwf.cpp.orig 2018-11-19 13:21:17.000000000 -0700
+++ src/util/hwf.cpp 2018-11-28 18:16:23.973446296 -0700
@@ -46,9 +46,9 @@ Revision History:
// clear to the compiler what instructions should be used. E.g., for sqrt(), the Windows compiler selects
// the x87 FPU, even when /arch:SSE2 is on.
@ -36,8 +36,8 @@
#ifdef USE_INTRINSICS
#include <emmintrin.h>
--- src/util/mpz.cpp.orig 2018-10-15 13:52:38.000000000 -0600
+++ src/util/mpz.cpp 2018-10-31 19:40:55.519174699 -0600
--- src/util/mpz.cpp.orig 2018-11-19 13:21:17.000000000 -0700
+++ src/util/mpz.cpp 2018-11-28 18:16:23.974446294 -0700
@@ -30,7 +30,7 @@ Revision History:
#else
#error No multi-precision library selected.

5
z3.spec
View File

@ -1,7 +1,7 @@
%global medtag b301a59899ff
Name: z3
Version: 4.8.1
Version: 4.8.3
Release: 1%{?dist}
Summary: Satisfiability Modulo Theories (SMT) solver
@ -231,6 +231,9 @@ mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
%{python3_sitearch}/%{name}/
%changelog
* 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)