Hello community,
here is the log from the commit of package z3 for openSUSE:Factory checked in
at 2018-05-29 10:32:32
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/z3 (Old)
and /work/SRC/openSUSE:Factory/.z3.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3"
Tue May 29 10:32:32 2018 rev:13 rq:610614 version:4.6.0+git.20180112
Changes:
--------
--- /work/SRC/openSUSE:Factory/z3/z3.changes 2018-03-24 16:16:18.913475011
+0100
+++ /work/SRC/openSUSE:Factory/.z3.new/z3.changes 2018-05-29
10:32:41.163591545 +0200
@@ -1,0 +2,6 @@
+Fri May 18 14:04:41 UTC 2018 - mplus...@suse.com
+
+- Use python3 exclusively
+- Do not call contrib/cmake/bootstrap.py - it is obsolete
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ z3.spec ++++++
--- /var/tmp/diff_new_pack.ofIW7Z/_old 2018-05-29 10:32:41.863565692 +0200
+++ /var/tmp/diff_new_pack.ofIW7Z/_new 2018-05-29 10:32:41.867565544 +0200
@@ -18,15 +18,6 @@
%define version_unconverted 4.6.0+git.20180112
%define sover 4_6
-%if 0%{?suse_version} >= 1500
-# Use python3 n SLE/Leap 15.0 and Tumbleweed
-%define _python python3
-%define _python_sitelib %{python3_sitelib}
-%else
-%define _python python
-%define _python_sitelib %{python_sitelib}
-# USe python2 on older distros
-%endif
Name: z3
Version: 4.6.0+git.20180112
Release: 0
@@ -36,12 +27,11 @@
URL: https://github.com/Z3Prover/z3/wiki
Source0: %{name}-%{version}.tar.xz
Patch0: remove-timestamp.patch
-BuildRequires: %{_python}-devel
BuildRequires: cmake
BuildRequires: gcc-c++
BuildRequires: gmp-devel
BuildRequires: ninja
-BuildRequires: xz
+BuildRequires: python3-devel
%description
Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates
@@ -68,14 +58,12 @@
%description devel
Development files for the Z3 library.
-%package -n %{_python}-%{name}
+%package -n python3-%{name}
Summary: Python bindings for Z3
Group: Development/Languages/Python
Requires: %{name} = %{version}
-Provides: %{name}-%{_python} = %{version}
-Obsoletes: %{name}-%{_python} < %{version}
-%description -n %{_python}-%{name}
+%description -n python3-%{name}
Python bindings for the Z3 library.
%prep
@@ -84,13 +72,12 @@
%build
%define __builder ninja
-%{_python} contrib/cmake/bootstrap.py create
%cmake \
-DBUILD_LIBZ3_SHARED=true \
-DUSE_LIB_GMP=true \
-DBUILD_PYTHON_BINDINGS=true \
-DINSTALL_PYTHON_BINDINGS=true \
- -DPYTHON_EXECUTABLE=%{_bindir}/%{_python} \
+ -DPYTHON_EXECUTABLE=%{_bindir}/python3 \
-DENABLE_EXAMPLE_TARGETS=false
%make_jobs
@@ -101,26 +88,22 @@
%postun -n libz3-%{sover} -p /sbin/ldconfig
%files
-%defattr(-,root,root)
%license LICENSE.txt
%doc README.md RELEASE_NOTES
%{_bindir}/z3
%files -n libz3-%{sover}
-%defattr(-,root,root)
%{_libdir}/libz3.so.*
%files devel
-%defattr(-,root,root)
%{_includedir}/z3*.h
%{_libdir}/libz3.so
%dir %{_libdir}/cmake/z3/
%{_libdir}/cmake/z3/Z3Config.cmake
%{_libdir}/cmake/z3/Z3Targets*
-%files -n %{_python}-%{name}
-%defattr(-,root,root)
-%dir %{_python_sitelib}/%{name}
-%{_python_sitelib}/%{name}/*py
+%files -n python3-%{name}
+%dir %{python3_sitelib}/%{name}
+%{python3_sitelib}/%{name}/*py
%changelog
