Hello community,

here is the log from the commit of package z3 for openSUSE:Factory checked in 
at 2016-10-13 11:30:54
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/z3 (Old)
 and      /work/SRC/openSUSE:Factory/.z3.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Package is "z3"

Changes:
--------
--- /work/SRC/openSUSE:Factory/z3/z3.changes    2016-09-17 14:40:47.000000000 
+0200
+++ /work/SRC/openSUSE:Factory/.z3.new/z3.changes       2016-10-13 
11:30:55.000000000 +0200
@@ -1,0 +2,14 @@
+Mon Oct 10 19:24:46 UTC 2016 - mplus...@suse.com
+
+- Update to version 4.4.1+git.20161007:
+  * Z3_query_constructor documentation clarification
+  * add mutex pass
+  * Build/test fix for python3
+  * Test fix for python3
+  * Added dummy code contracts for .NET Core/CoreCLR builds.
+  * Remove unnecessary "unsafe" qualifier on internal .NET API class.
+  * add mutex preprocessing to maxsat, add parsing functions to C++ API
+  * add example of parsing with external declarations
+- Speedup build by using ninja
+
+-------------------------------------------------------------------

Old:
----
  z3-4.4.1+git.20160914.tar.xz

New:
----
  z3-4.4.1+git.20161007.tar.xz

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Other differences:
------------------
++++++ z3.spec ++++++
--- /var/tmp/diff_new_pack.zDjMEa/_old  2016-10-13 11:30:57.000000000 +0200
+++ /var/tmp/diff_new_pack.zDjMEa/_new  2016-10-13 11:30:57.000000000 +0200
@@ -16,9 +16,9 @@
 #
 
 
-%define version_unconverted 4.4.1+git.20160914
+%define version_unconverted 4.4.1+git.20161007
 Name:           z3
-Version:        4.4.1+git.20160914
+Version:        4.4.1+git.20161007
 Release:        0
 Summary:        Theorem prover from Microsoft Research
 License:        MIT
@@ -29,7 +29,7 @@
 BuildRequires:  cmake
 BuildRequires:  gcc-c++
 BuildRequires:  gmp-devel
-BuildRequires:  make
+BuildRequires:  ninja
 BuildRequires:  python-devel
 BuildRequires:  xz
 
@@ -73,6 +73,7 @@
 %patch0 -p1
 
 %build
+%define __builder ninja
 python contrib/cmake/bootstrap.py create
 %cmake \
   -DBUILD_LIBZ3_SHARED=true \
@@ -82,7 +83,7 @@
   -DCMAKE_EXE_LINKER_FLAGS="" \
   -DCMAKE_SHARED_LINKER_FLAGS="" \
   -DENABLE_EXAMPLE_TARGETS=false
-make %{?_smp_mflags}
+%make_jobs
 
 %install
 %cmake_install
@@ -106,6 +107,7 @@
 
 %files -n python-%{name}
 %defattr(-,root,root)
-%{python_sitelib}/*py
+%dir %{python_sitelib}/%{name}
+%{python_sitelib}/%{name}/*py
 
 %changelog

++++++ z3-4.4.1+git.20160914.tar.xz -> z3-4.4.1+git.20161007.tar.xz ++++++
++++ 28802 lines of diff (skipped)


Reply via email to