naddy
11e3dd67b3
switch COMPILER from the old, confusing shortcuts to the more explicit format
2017-11-16 23:20:37 +00:00
jca
f0d8efcc0f
Update to a newer release which does builds with clang.
...
- now depends on boost and minisat
- ships with a shared library and a python3 module
- new cmake build system
- set COMPILER = gcc, a c++11 compiler is needed (but there's a link
problem against boost with lang/gcc on amd64)
2017-08-21 07:03:10 +00:00
sthen
5e964ab0df
bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports.
2017-07-26 22:45:14 +00:00
espie
c114d7057b
add pthread to COMPILER_LIBCXX.
...
white lie, but it allows clang and gcc to be more similar
bump accordingly.
2017-07-23 09:26:25 +00:00
espie
8ac47fd9c6
use COMPILER_LIBCXX where applicable
2017-07-16 19:18:47 +00:00
espie
d55c3cf9d8
that old shit actually tried to create directories under /usr/local
...
during configure...
2017-06-03 10:15:25 +00:00
sthen
7b9fdbb2c9
use LIBCXX
2017-04-10 11:45:22 +00:00
bentley
87cea09896
Remove Kevin Lo as maintainer, by request.
...
While here, fix a couple of license markers.
2015-01-21 06:13:46 +00:00
naddy
570aa62a9c
Drop remaining MD5/RMD160/SHA1 checksums.
2015-01-18 03:12:39 +00:00
sthen
d4b9694e05
remove WRKDIST=${WRKDIR}/${DISTNAME} lines, they are the default anyway
2014-11-23 20:28:01 +00:00
naddy
c2832a1290
move http://code.google.com , *.googlecode.com, and sites.google.com to https
...
suggested by bentley@
2013-08-07 21:31:12 +00:00
espie
bcf3856632
PERMIT_* / REGRESS->TEST sweep
2013-03-11 10:50:00 +00:00
espie
5855efb734
move depends to new style
2010-11-15 19:45:56 +00:00
kevlo
e23c09e9d6
Initial import of stp 0.1.
...
STP is a constraint solver (also referred to as a decision procedure
or automated prover) aimed at solving constraints generated by program
analysis tools, theorem provers, automated bug finders, intelligent
fuzzers and model checkers.
ok benoit@
2009-12-17 09:43:28 +00:00
