rpms
/
stp
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
100 Commits 33 Branches 13 Tags 160 KiB
Commit Graph

100 Commits

Author SHA1 Message Date
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
Jerry James ac0aca04f4 Update to recent subversion snapshot. 2012-10-17 16:31:14 -06:00
Jerry James 033f4b92c1 BR cryptominisat-devel, and fix cryptominisat header path. 2012-08-10 17:10:52 -06:00
Jerry James 5f844b447d Update to recent subversion snapshot. 
Do not build bundled cryptominisat.
 2012-08-10 16:37:03 -06:00
Dennis Gilmore cd5519131f - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-21 16:21:52 -05:00
Dennis Gilmore 88de8f7e32 - Rebuilt for c++ ABI breakage 2012-02-28 14:14:07 -06:00
Jerry James 98d917237b Parallel build failed; disable for now. 2012-01-10 21:46:41 -07:00
Jerry James abf9179ebe Disable tests until valgrind doesn't cause failures in libdl. 2012-01-10 21:34:05 -07:00
Jerry James 145d2a206b Skip valgrind tests until libdl doesn't cause failures. 2012-01-10 16:56:22 -07:00
Jerry James 4c15fd5062 Rearrange declaration ordering to match GCC 4.7 C++ rules. 2012-01-10 16:38:29 -07:00
Jerry James 1af8b5f18c Update to recent subversion snapshot. 2012-01-10 16:20:28 -07:00
Jerry James 98f8a24ce8 Update to recent subversion snapshot. 
Minor spec file cleanups.
 2011-12-13 13:26:56 -07:00
Dennis Gilmore 0b0180798c - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild 2011-02-09 10:17:02 -06:00
Fedora Release Engineering 1c2ac5b331 dist-git conversion 2010-07-29 13:15:02 +00:00
Bill Nottingham 76b6c83534 Fix typo that causes a failure to update the common directory. (releng 
#2781)
 2009-11-25 23:15:38 +00:00
Jesse Keating 8482acd91f - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild 2009-07-27 04:54:04 +00:00
David A. Wheeler bd317bca4b Re-sync with CVS 2009-03-06 05:45:58 +00:00
David A. Wheeler f8cb21c281 Re-sync with CVS 2009-03-06 05:44:47 +00:00
David A. Wheeler ec5dd090db Modified spec so can rebuild in proper order on Fedora 2009-03-06 05:41:07 +00:00
David A. Wheeler bfd0d8795d - Fixed comments by Marcela Maslanova, mmaslano (at) redhat*DOT*com 
2009-02-26
- Moved definitions of subpackages to "top" of spec before prep.
- moved "check" before "files".
- Use macro for release version 0.1-11-18-2008 for future updates.
- No doc for -devel package; it's already in the base.
- CPPFLAGS now includes optflags.
Mon Feb 23 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-1
- Initial packaging
 2009-03-06 05:21:14 +00:00
Kevin Fenzi 15a6c08337 Setup of module stp 2009-03-05 20:16:24 +00:00