Jerry James
6b2e3b5a1a
New upstream version.
2019-04-17 18:56:37 -06:00
Jerry James
baa8e4ef1f
Update to recent git snapshot. Drop the python2 subpackage (bz 1634557).
2018-11-22 15:03:28 -07:00
Jerry James
a1a98f0594
Update to recent git snapshot. Add a python3 subpackage.
2018-06-12 21:02:15 -06:00
Jerry James
fd826ecc72
Update to recent git snapshot. Build with cryptominisat5 support.
2017-11-25 14:46:18 -07:00
Jerry James
839df2385b
Update to recent git snapshot.
2016-02-20 20:17:01 -07:00
Jerry James
826d0abd7f
Update to recent git snapshot.
2015-09-04 10:14:38 -06:00
Jerry James
31e34f55e7
Update to recent git snapshot.
...
Drop upstreamed -undefined patch.
2014-06-18 17:27:24 -06: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
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
5f844b447d
Update to recent subversion snapshot.
...
Do not build bundled cryptominisat.
2012-08-10 16:37:03 -06: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
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