2011-12-07 18:11:42 +00:00
|
|
|
Name: cryptominisat
|
2016-03-20 00:11:00 +00:00
|
|
|
Version: 2.9.11
|
2017-07-26 05:41:22 +00:00
|
|
|
Release: 4%{?dist}
|
2011-12-07 18:11:42 +00:00
|
|
|
Summary: SAT solver
|
|
|
|
|
|
|
|
|
|
# The Mersenne Twister implementation is BSD-licensed.
|
2012-08-06 20:45:56 +00:00
|
|
|
# All other files are MIT-licensed.
|
|
|
|
|
License: MIT
|
|
|
|
|
URL: http://www.msoos.org/cryptominisat2/
|
2016-03-20 00:11:00 +00:00
|
|
|
Source0: https://github.com/msoos/%{name}/archive/%{version}.tar.gz
|
2011-12-07 18:11:42 +00:00
|
|
|
|
2016-03-20 00:11:00 +00:00
|
|
|
BuildRequires: gcc-c++
|
2015-09-04 15:05:44 +00:00
|
|
|
BuildRequires: libtool
|
|
|
|
|
BuildRequires: mariadb-devel
|
2017-07-12 12:31:55 +00:00
|
|
|
BuildRequires: perl-interpreter
|
2011-12-07 18:11:42 +00:00
|
|
|
BuildRequires: zlib-devel
|
|
|
|
|
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
|
|
|
|
|
|
|
|
|
%description
|
|
|
|
|
CryptoMiniSat is a SAT solver that aims to become a premiere SAT solver
|
|
|
|
|
with all the features and speed of successful SAT solvers, such as
|
|
|
|
|
MiniSat and PrecoSat. The long-term goals of CryptoMiniSat are to be an
|
|
|
|
|
efficient sequential, parallel and distributed solver. There are
|
|
|
|
|
solvers that are good at one or the other, e.g. ManySat (parallel) or
|
|
|
|
|
PSolver (distributed), but we wish to excel at all.
|
|
|
|
|
|
|
|
|
|
CryptoMiniSat 2.5 won the SAT Race 2010 among 20 solvers submitted by
|
|
|
|
|
researchers and industry.
|
|
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
|
Summary: Header files for developing with %{name}
|
|
|
|
|
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
2015-09-04 15:05:44 +00:00
|
|
|
Requires: mariadb-devel%{?_isa}
|
|
|
|
|
Requires: zlib-devel%{?_isa}
|
2011-12-07 18:11:42 +00:00
|
|
|
|
|
|
|
|
%description devel
|
|
|
|
|
Header files for developing applications that use %{name}.
|
|
|
|
|
|
|
|
|
|
%package libs
|
|
|
|
|
Summary: Cryptominisat library
|
|
|
|
|
|
|
|
|
|
%description libs
|
|
|
|
|
The %{name} library.
|
|
|
|
|
|
|
|
|
|
%prep
|
2016-03-20 00:11:00 +00:00
|
|
|
%setup -q
|
2015-09-04 15:05:44 +00:00
|
|
|
|
|
|
|
|
# Fix version number and output directory in library documentation
|
|
|
|
|
sed -e 's/2\.6\.0/%{version}/' \
|
|
|
|
|
-e 's,/home/soos.*cryptominisat,'$PWD, \
|
|
|
|
|
-i Doxyfile
|
|
|
|
|
|
|
|
|
|
# Generate the configure script
|
|
|
|
|
autoreconf -fi
|
2011-12-07 18:11:42 +00:00
|
|
|
|
|
|
|
|
%build
|
2015-09-04 15:05:44 +00:00
|
|
|
export CPPFLAGS="-DHAVE_MYSQL -DCMSAT_HAVE_MYSQL"
|
|
|
|
|
export LDFLAGS="-L%{_libdir}/mysql"
|
|
|
|
|
export LIBS="-lmysqlclient"
|
2011-12-07 18:11:42 +00:00
|
|
|
%configure --disable-static
|
2015-09-04 15:05:44 +00:00
|
|
|
|
|
|
|
|
# Eliminate hardcoded rpaths
|
2011-12-07 18:11:42 +00:00
|
|
|
sed -e 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' \
|
|
|
|
|
-e 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' \
|
|
|
|
|
-i libtool
|
2015-09-04 15:05:44 +00:00
|
|
|
|
2011-12-07 18:11:42 +00:00
|
|
|
make %{?_smp_mflags}
|
|
|
|
|
|
|
|
|
|
%install
|
2015-09-04 15:05:44 +00:00
|
|
|
make install DESTDIR=%{buildroot}
|
|
|
|
|
|
|
|
|
|
# We don't want the libtool files
|
|
|
|
|
rm -f %{buildroot}%{_libdir}/*.la
|
2011-12-07 18:11:42 +00:00
|
|
|
|
2016-03-07 02:29:37 +00:00
|
|
|
%post libs -p /sbin/ldconfig
|
2011-12-07 18:11:42 +00:00
|
|
|
|
2016-03-07 02:29:37 +00:00
|
|
|
%postun libs -p /sbin/ldconfig
|
2011-12-07 18:11:42 +00:00
|
|
|
|
|
|
|
|
%files
|
|
|
|
|
%{_bindir}/%{name}
|
|
|
|
|
%{_mandir}/man1/%{name}*
|
|
|
|
|
|
|
|
|
|
%files devel
|
2012-08-06 20:45:56 +00:00
|
|
|
%{_includedir}/cmsat/
|
2011-12-07 18:11:42 +00:00
|
|
|
%{_libdir}/lib%{name}.so
|
|
|
|
|
|
|
|
|
|
%files libs
|
2015-02-12 04:21:55 +00:00
|
|
|
%doc AUTHORS NEWS README TODO
|
|
|
|
|
%license LICENSE-MIT
|
2011-12-07 18:11:42 +00:00
|
|
|
%{_libdir}/lib%{name}-%{version}.so
|
|
|
|
|
|
|
|
|
|
%changelog
|
2017-07-26 05:41:22 +00:00
|
|
|
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-4
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
|
|
|
|
2017-05-15 20:28:49 +00:00
|
|
|
* Mon May 15 2017 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.11-3
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild
|
|
|
|
|
|
2017-02-10 08:00:35 +00:00
|
|
|
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
|
|
|
|
2016-03-20 00:11:00 +00:00
|
|
|
* Sat Mar 19 2016 Jerry James <loganjerry@gmail.com> - 2.9.11-1
|
|
|
|
|
- New upstream release
|
|
|
|
|
|
2016-03-07 02:29:37 +00:00
|
|
|
* Sat Mar 5 2016 Jerry James <loganjerry@gmail.com> - 2.9.10-3
|
|
|
|
|
- post/postun scripts are for libs, not the main package
|
|
|
|
|
|
2016-02-03 18:15:18 +00:00
|
|
|
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.10-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
|
|
|
|
2015-09-04 15:05:44 +00:00
|
|
|
* Fri Sep 4 2015 Jerry James <loganjerry@gmail.com> - 2.9.10-1
|
|
|
|
|
- New upstream release
|
|
|
|
|
|
2015-06-17 03:25:49 +00:00
|
|
|
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-6
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
|
|
|
|
2015-05-02 11:10:56 +00:00
|
|
|
* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 2.9.9-5
|
|
|
|
|
- Rebuilt for GCC 5 C++11 ABI change
|
|
|
|
|
|
2015-02-12 04:21:55 +00:00
|
|
|
* Wed Feb 11 2015 Jerry James <loganjerry@gmail.com> - 2.9.9-4
|
|
|
|
|
- Use license macro
|
|
|
|
|
|
2014-08-16 01:40:01 +00:00
|
|
|
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-3
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
|
|
|
|
2014-06-07 06:15:40 +00:00
|
|
|
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
|
|
|
2014-03-19 14:51:08 +00:00
|
|
|
* Tue Mar 18 2014 Jerry James <loganjerry@gmail.com> - 2.9.9-1
|
|
|
|
|
- New upstream release
|
|
|
|
|
|
2013-09-23 15:24:54 +00:00
|
|
|
* Mon Sep 23 2013 Jerry James <loganjerry@gmail.com> - 2.9.8-1
|
|
|
|
|
- New upstream release
|
|
|
|
|
|
2013-08-03 06:12:24 +00:00
|
|
|
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.6-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
|
|
|
|
|
2013-03-11 15:31:07 +00:00
|
|
|
* Mon Mar 11 2013 Jerry James <loganjerry@gmail.com> - 2.9.6-1
|
|
|
|
|
- New upstream release
|
|
|
|
|
|
2013-02-13 19:10:39 +00:00
|
|
|
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.5-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
|
|
|
|
2012-08-06 20:45:56 +00:00
|
|
|
* Mon Aug 6 2012 Jerry James <loganjerry@gmail.com> - 2.9.5-1
|
|
|
|
|
- New upstream release
|
|
|
|
|
- Project files now carry the MIT license
|
|
|
|
|
|
2012-07-18 19:54:31 +00:00
|
|
|
* Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.3-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
|
|
|
2012-04-16 16:07:31 +00:00
|
|
|
* Mon Apr 16 2012 Jerry James <loganjerry@gmail.com> - 2.9.3-1
|
|
|
|
|
- New upstream version
|
|
|
|
|
|
2012-02-28 18:06:10 +00:00
|
|
|
* Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.2-2
|
|
|
|
|
- Rebuilt for c++ ABI breakage
|
|
|
|
|
|
2012-01-23 16:18:37 +00:00
|
|
|
* Mon Jan 23 2012 Jerry James <loganjerry@gmail.com> - 2.9.2-1
|
|
|
|
|
- New upstream version
|
|
|
|
|
- Man page is now upstream
|
|
|
|
|
- All patches have been applied upstream
|
|
|
|
|
- Tests have been removed from the source distribution
|
|
|
|
|
|
2012-01-09 20:50:37 +00:00
|
|
|
* Mon Jan 9 2012 Jerry James <loganjerry@gmail.com> - 2.9.1-3
|
|
|
|
|
- Rebuild for GCC 4.7
|
|
|
|
|
|
2011-12-19 10:53:58 +00:00
|
|
|
* Mon Dec 19 2011 Dan Horák <dan[at]danny.cz> - 2.9.1-2
|
|
|
|
|
- FPU handling is x86 specific
|
|
|
|
|
- set library path so the test is run
|
|
|
|
|
|
2011-12-07 18:11:42 +00:00
|
|
|
* Wed Dec 7 2011 Jerry James <loganjerry@gmail.com> - 2.9.1-1
|
|
|
|
|
- Initial RPM
|
