Name: cryptominisat4 Version: 4.5.3 Release: 12%{?dist} Summary: SAT solver License: LGPLv2 URL: http://www.msoos.org/cryptominisat4/ Source0: https://github.com/msoos/cryptominisat/archive/%{version}.tar.gz # Text is from the sources, therefore under the same copyright and license as # the code. Man page formatting contributed by Jerry James. Source1: %{name}.1 BuildRequires: boost-devel BuildRequires: chrpath BuildRequires: cmake BuildRequires: gcc-c++ BuildRequires: m4ri-devel BuildRequires: python2-devel BuildRequires: tbb-devel %ifnarch s390 BuildRequires: valgrind-devel %endif BuildRequires: vim-common BuildRequires: zlib-devel Requires: %{name}-libs%{?_isa} = %{version}-%{release} %description CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights: - Instance simplification at every point of the search (inprocessing) - Over 100 configurable parameters to tune to specific needs - Collection of statistical data to MySQL database + javascript-based visualization of it - Clean C++ and python interfaces %package devel Summary: Header files for developing with %{name} Requires: %{name}-libs%{?_isa} = %{version}-%{release} Requires: m4ri-devel%{?_isa} Requires: tbb-devel%{?_isa} %description devel Header files for developing applications that use %{name}. %package libs Summary: Cryptominisat library %description libs The %{name} library. %package -n python-%{name} Summary: Python interface to %{name} Requires: %{name}-libs%{?_isa} = %{version}-%{release} %description -n python-%{name} Python interface to %{name}. %prep %setup -q -n cryptominisat-%{version} # Don't override our compiler flags sed -i 's/-O2 -mtune=native/-DNDEBUG/' CMakeLists.txt if [ "%{_libdir}" = "%{_prefix}/lib64" ]; then sed -i 's,${dir}/lib,&64,g' cmake/FindPkgMacros.cmake fi # Fix the python install sed -ri 's|install |&--root %{buildroot} |' python/CMakeLists.txt %build %cmake -DALSO_BUILD_STATIC_LIB=OFF . make %{?_smp_mflags} %install make install DESTDIR=%{buildroot} # Install the man page mkdir -p %{buildroot}%{_mandir}/man1 sed 's/@VERSION@/%{version}/' %{SOURCE1} > \ %{buildroot}%{_mandir}/man1/%{name}.1 touch -r %{SOURCE1} %{buildroot}%{_mandir}/man1/%{name}.1 # Move library files to where they should go if [ "%{_libdir}" = "/usr/lib64" ]; then mkdir -p %{buildroot}%{_libdir} mv %{buildroot}%{_prefix}/lib/lib%{name}* %{buildroot}%{_libdir} mv %{buildroot}%{_prefix}/lib/cmake %{buildroot}%{_libdir} sed -i 's|%{_prefix}/lib/|%{_libdir}/|' \ %{buildroot}%{_libdir}/cmake/%{name}/*.cmake fi # Remove buildroot paths from cmake files sed -i 's|%{buildroot}||' %{buildroot}%{_libdir}/cmake/%{name}/*.cmake # Remove rpaths chrpath -d %{buildroot}%{_bindir}/%{name} chrpath -d %{buildroot}%{_bindir}/%{name}_simple # Fix permissions chmod 0755 %{buildroot}%{python2_sitearch}/pycryptosat.so %post libs -p /sbin/ldconfig %postun libs -p /sbin/ldconfig %files %doc README.markdown %{_bindir}/%{name} %{_bindir}/%{name}_simple %{_mandir}/man1/%{name}* %files devel %{_includedir}/%{name}/ %{_libdir}/lib%{name}.so %{_libdir}/cmake/* %files libs %doc AUTHORS %license LICENSE-LGPL %{_libdir}/lib%{name}.so.* %files -n python-%{name} %doc python/README.rst %license python/LICENSE %{python2_sitearch}/pycryptosat* %changelog * Sun Aug 06 2017 Björn Esser - 4.5.3-12 - Rebuilt for AutoReq cmake-filesystem * Wed Aug 02 2017 Fedora Release Engineering - 4.5.3-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering - 4.5.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Mon Jul 03 2017 Jonathan Wakely - 4.5.3-9 - Rebuilt for Boost 1.64 * Mon May 15 2017 Fedora Release Engineering - 4.5.3-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild * Tue Feb 07 2017 Kalev Lember - 4.5.3-7 - Rebuilt for Boost 1.63 * Tue Jul 19 2016 Fedora Release Engineering - 4.5.3-6 - https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages * Wed Feb 03 2016 Fedora Release Engineering - 4.5.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Fri Jan 15 2016 Jonathan Wakely - 4.5.3-4 - Rebuilt for Boost 1.60 * Fri Sep 04 2015 Jonathan Wakely - 4.5.3-3 - Rebuilt for Boost 1.59 * Fri Aug 28 2015 Jerry James - 4.5.3-2 - Fix license - Also remove rpath from cryptominisat4_simple * Fri Aug 28 2015 Jerry James - 4.5.3-1 - New upstream version * Sat Aug 22 2015 Jerry James - 4.5.2-1 - Initial RPM