Commit Graph

77 Commits

Author SHA1 Message Date
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
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