Miro Hrončok
35f85f1ec6
Rebuilt for Python 3.8
2019-08-19 11:06:24 +02:00
Jerry James
6821f5a877
Fix the help2man invocation.
2019-07-31 19:40:34 -06:00
Fedora Release Engineering
c8eb57b4af
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-07-27 00:18:01 +00:00
Jerry James
06b1f0bab2
Disable rpath.
2019-07-20 11:54:13 -06:00
Jerry James
6b2e3b5a1a
New upstream version.
2019-04-17 18:56:37 -06:00
Jerry James
c799a0de2c
Specify the directory with %cmake.
2019-02-09 19:17:18 -07:00
Fedora Release Engineering
2d9653a14e
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-03 08:43:00 +00:00
Jerry James
baa8e4ef1f
Update to recent git snapshot. Drop the python2 subpackage (bz 1634557).
2018-11-22 15:03:28 -07:00
Fedora Release Engineering
258e5ceb36
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-07-14 06:48:17 +00:00
Miro Hrončok
771b0cfaa5
Rebuilt for Python 3.7
2018-06-19 11:27:57 +02:00
Jerry James
a1a98f0594
Update to recent git snapshot. Add a python3 subpackage.
2018-06-12 21:02:15 -06:00
Fedora Release Engineering
c2faa84ff2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-09 17:47:24 +00:00
Jonathan Wakely
d95504edc4
Rebuilt for Boost 1.66
2018-01-23 21:51:57 +00:00
Jerry James
fd826ecc72
Update to recent git snapshot. Build with cryptominisat5 support.
2017-11-25 14:46:18 -07:00
Zbigniew Jędrzejewski-Szmek
fd15cbd0c4
Move %python_provide after BuildArch
2017-08-19 17:19:43 -04:00
Zbigniew Jędrzejewski-Szmek
96c17282ab
Python 2 binary package renamed to python2-stp
2017-08-19 09:44:11 -04:00
Fedora Release Engineering
f74d69cd91
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-08-03 08:53:56 +00:00
Fedora Release Engineering
cb99a5f9ba
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-27 19:23:56 +00:00
Jonathan Wakely
4cadff5580
Rebuilt for Boost 1.64
2017-07-18 16:59:52 +01:00
Kalev Lember
e3fbf216ee
Rebuilt for Boost 1.63
2017-02-08 14:38:27 +01:00
Jerry James
da213f6ef6
Fix cmake files (bz 1414167).
2017-01-29 11:12:47 -07:00
Fedora Release Engineering
8448a2b100
- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
2016-07-19 12:42:49 +00:00
Jerry James
521711a8f6
Rebuild for minisat 2.2.1.
2016-03-19 18:25:05 -06:00
Jerry James
839df2385b
Update to recent git snapshot.
2016-02-20 20:17:01 -07:00
Fedora Release Engineering
6d10a40e68
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-02-05 00:44:29 +00:00
Jonathan Wakely
58e3760393
Rebuilt for Boost 1.60
2016-01-19 00:48:06 +00:00
Jerry James
826d0abd7f
Update to recent git snapshot.
2015-09-04 10:14:38 -06:00
Dennis Gilmore
10c7533b48
- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159
2015-07-29 13:23:34 -05:00
David Tardon
27bebffa03
rebuild for Boost 1.58
2015-07-22 19:37:56 +02:00
Dennis Gilmore
c3c360bb29
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-06-19 01:50:24 +00:00
Kalev Lember
c1a4c0099a
Rebuilt for GCC 5 C++11 ABI change
2015-05-02 18:00:49 +02:00
Jerry James
05c236152f
Fix changelog date.
2015-02-21 20:14:33 -07:00
Jerry James
988a4f8ac7
Use license macro.
2015-02-21 20:13:24 -07:00
Petr Machata
e20e71d4e7
Rebuild for boost 1.57.0
2015-01-27 03:28:22 +01:00
Peter Robinson
e2f3a098b2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-08-18 03:53:50 +00:00
Jerry James
cf5e266a7a
Fix build failure on systems that do not define %{__isa_bits}.
...
Also fix mixed use of spaces and tabs. Thank you, rpmlint.
2014-06-19 10:23:17 -06:00
Jerry James
31e34f55e7
Update to recent git snapshot.
...
Drop upstreamed -undefined patch.
2014-06-18 17:27:24 -06:00
Dennis Gilmore
5094447754
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2014-06-08 02:19:35 -05:00
Petr Machata
c8ee09bb29
Rebuild for boost 1.55.0
2014-05-23 03:23:14 +02:00
Jerry James
75cefd8104
Update to recent git snapshot.
2014-04-29 15:22:26 -06:00
Jerry James
5a3a024fae
Update to recent git snapshot, now hosted on github.
...
Build now uses cmake.
Tests now need boolector, which has license problems. Disable %%check for
now unless we can find something useful to do.
2014-03-19 17:09:33 -06:00
Jerry James
e611f6d776
Really rebuild for cryptominisat 2.9.8.
2013-10-09 20:05:14 -06:00
Jerry James
0dad78eb89
On non-x86 architectures, the memory leak tests tend to fail, because
...
valgrind finds problems in glibc itself. Also, the non-valgrind tests
tend to fail because they time out. Until valgrind works and I can
figure out how to adapt the timeout estimates for such architectures,
skip these tests on such architectures.
2013-10-09 15:40:09 -06:00
Jerry James
39c79f36d6
Take 2 on the attempt to disable valgrind tests on non-x86.
2013-10-08 20:23:41 -06:00
Jerry James
15c323b547
Disable valgrind tests for non-x86 (see bz 1012698).
2013-10-08 18:55:59 -06:00
Jerry James
9a76921631
Rebuild for cryptominisat 2.9.8.
2013-09-26 15:16:54 -06:00
Dennis Gilmore
47b4be6b1d
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
2013-08-04 10:52:50 -05:00
Petr Machata
b2286f7a0c
Rebuild for boost 1.54.0
2013-07-30 14:47:44 +02:00
Jerry James
4ff1e2a894
Update to recent subversion snapshot.
...
Reenable the check script.
2013-03-11 16:07:41 -06:00
Jerry James
c9c580d386
Update to recent subversion snapshot.
2013-02-11 17:00:41 -07:00