13 Commits

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