Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2017-03-12 20:00:39 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Sun Mar 12 20:00:39 2017 rev:7 rq:476921 version:4.5.0+git.20170126 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2017-02-03 20:08:03.397454691 +0100 +++ /work/SRC/openSUSE:Factory/.z3.new/z3.changes 2017-03-12 20:00:50.068632304 +0100 @@ -1,0 +2,5 @@ +Sat Feb 25 13:36:24 UTC 2017 - [email protected] + +- add Z3Config for cmake + +------------------------------------------------------------------- New: ---- Z3Config.cmake ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.lBMypq/_old 2017-03-12 20:00:50.796529308 +0100 +++ /var/tmp/diff_new_pack.lBMypq/_new 2017-03-12 20:00:50.800528742 +0100 @@ -27,6 +27,7 @@ Group: Productivity/Scientific/Other Url: https://github.com/Z3Prover/z3/wiki Source0: %{name}-%{version}.tar.xz +Source1: Z3Config.cmake Patch0: remove-timestamp.patch BuildRequires: cmake BuildRequires: gcc-c++ @@ -90,6 +91,9 @@ %install %cmake_install +install -d %{buildroot}%{_libdir}/cmake/Z3 +sed 's|@PREFIX@|%{_prefix}|g; s|@LIB@|%{_lib}|g' %{SOURCE1} > %{buildroot}%{_libdir}/cmake/Z3/Z3Config.cmake + %post -n libz3-%{sover} -p /sbin/ldconfig %postun -n libz3-%{sover} -p /sbin/ldconfig @@ -106,6 +110,8 @@ %defattr(-,root,root) %{_includedir}/z3*.h %{_libdir}/libz3.so +%dir %{_libdir}/cmake/Z3/ +%{_libdir}/cmake/Z3/Z3Config.cmake %files -n python-%{name} %defattr(-,root,root) ++++++ Z3Config.cmake ++++++ set(Z3_DIR @PREFIX@) set(Z3_BIN_DIRS ${Z3_DIR}/bin ) set(Z3_INCLUDE_DIRS ${Z3_DIR}/include ) set(Z3_INCLUDE_DIR ${Z3_INCLUDE_DIRS} ) set(Z3_LIBRARIES ${Z3_DIR}/@LIB@/libz3.so )
