Fix Java interface (bz 1353773).
This commit is contained in:
parent
a6a79cd954
commit
048436281a
14
z3.spec
14
z3.spec
|
@ -8,7 +8,7 @@
|
||||||
|
|
||||||
Name: z3
|
Name: z3
|
||||||
Version: 4.4.1
|
Version: 4.4.1
|
||||||
Release: 5%{?dist}
|
Release: 6%{?dist}
|
||||||
Summary: Satisfiability Modulo Theories (SMT) solver
|
Summary: Satisfiability Modulo Theories (SMT) solver
|
||||||
|
|
||||||
License: MIT
|
License: MIT
|
||||||
|
@ -114,7 +114,7 @@ sed -e "s|^\(PYTHON_PACKAGE_DIR=\).*|\1'%{python2_sitearch}/z3'|" \
|
||||||
-e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' \
|
-e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' \
|
||||||
-e "s/'tstomp\.cpp',/& '-fPIC',/" \
|
-e "s/'tstomp\.cpp',/& '-fPIC',/" \
|
||||||
-e 's/ -fvisibility=hidden//' \
|
-e 's/ -fvisibility=hidden//' \
|
||||||
-e 's/-shared/& -Wl,-h,lib%{name}.so.0/' \
|
-e '/dllfile/s/\$(SLINK_FLAGS)/& -Wl,-h,lib%{name}.so.0/' \
|
||||||
-i scripts/mk_util.py
|
-i scripts/mk_util.py
|
||||||
|
|
||||||
# Do not try to build with SSE2 support on non-x86_64 arches.
|
# Do not try to build with SSE2 support on non-x86_64 arches.
|
||||||
|
@ -123,7 +123,8 @@ sed -i 's/exec_compiler_cmd.*-msse.*:/None:/' scripts/mk_util.py
|
||||||
%endif
|
%endif
|
||||||
|
|
||||||
# Comply with the Java packaging guidelines
|
# Comply with the Java packaging guidelines
|
||||||
sed -i "s/\(System\.load\)Library/\1/" scripts/update_api.py
|
sed -e 's,\(System\.load\)Library("\([^"]*\)"),\1("%{_libdir}/z3/\2.so"),' \
|
||||||
|
-i scripts/update_api.py
|
||||||
|
|
||||||
# Fix character encoding
|
# Fix character encoding
|
||||||
iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8
|
iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8
|
||||||
|
@ -132,8 +133,8 @@ mv -f RELEASE_NOTES.utf8 RELEASE_NOTES
|
||||||
|
|
||||||
# Fix permissions
|
# Fix permissions
|
||||||
chmod a-x examples/interp/iz3.cpp
|
chmod a-x examples/interp/iz3.cpp
|
||||||
find -O3 src -type f -perm /0111 \( -name \*.cpp -o -name \*.h \) | \
|
find -O3 src -type f -perm /0111 \( -name \*.cpp -o -name \*.h \) \
|
||||||
xargs chmod 0644
|
-exec chmod 0644 {} +
|
||||||
|
|
||||||
# Fix ocaml documentation generation (broken in 4.4.0)
|
# Fix ocaml documentation generation (broken in 4.4.0)
|
||||||
sed -i 's,api\\html\\ml,api/html/ml,' doc/mk_api_doc.py
|
sed -i 's,api\\html\\ml,api/html/ml,' doc/mk_api_doc.py
|
||||||
|
@ -266,6 +267,9 @@ chmod 0755 %{buildroot}%{_bindir}/* %{buildroot}%{_libdir}/*.so.0.0.0 \
|
||||||
%{python2_sitearch}/%{name}/
|
%{python2_sitearch}/%{name}/
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 4.4.1-6
|
||||||
|
- Fix Java interface (bz 1353773)
|
||||||
|
|
||||||
* Thu Jun 30 2016 Jerry James <loganjerry@gmail.com> - 4.4.1-5
|
* Thu Jun 30 2016 Jerry James <loganjerry@gmail.com> - 4.4.1-5
|
||||||
- Fix __init__.py (bz 1351580)
|
- Fix __init__.py (bz 1351580)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue