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 - [email protected] + +- 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)
