aboutsummaryrefslogtreecommitdiff
path: root/math/stp
Commit message (Expand)AuthorAgeFilesLines
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-1/+1
* math/stp: Pull in fixes from the PR I missed.Gleb Popov2018-07-282-1/+5
* math/stp: Update to latest 2.3.1 version.Gleb Popov2018-07-243-11/+19
* Mark ports broken on powerpc64, categories g-n.Mark Linimon2018-06-181-2/+3
* devel/boost-*: update to 1.67.0Jan Beich2018-04-181-1/+1
* devel/boost-*: update to 1.66.0Jan Beich2018-01-181-1/+1
* devel/boost-*: update to 1.65.1Jan Beich2017-09-251-1/+1
* devel/boost-*: enable C++11 featuresJan Beich2017-09-251-1/+1
* Make ninja opt-out in cmake.mkTobias C. Berner2017-06-251-1/+1
* devel/boost-*: update to 1.64.0Jan Beich2017-05-021-1/+1
* Mark various ports broken on aarch64 and armv6.Mark Linimon2017-01-311-0/+2
* devel/boost-*: update to 1.63.0Jan Beich2017-01-061-1/+1
* Remove always-true/false conditions after 9.x, 10.[12] EOLDmitry Marakasov2017-01-051-10/+1
* devel/boost-*: update to 1.62.0Jan Beich2016-11-231-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-3/+3
* Remove OSVERSION checks that do not make sense any more.Mathieu Arnold2015-04-031-4/+0
* Cleanup plistAntoine Brodin2014-11-141-3/+0
* Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.xAntoine Brodin2014-08-261-1/+1
* Package somethingAntoine Brodin2014-08-262-0/+11
* Convert a bunch of USE_XZ to USES=tar:xz.Adam Weinberger2014-07-291-2/+1
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
* Fix math/stp build for FreeBSD 9.xEmanuel Haupt2014-03-061-0/+3
* - Update to revision 1436Li-Wen Hsu2014-03-033-36/+15
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Convert to new perl frameworkBaptiste Daroussin2013-09-161-3/+2
* Convert USE_BISON to USES= bisonBaptiste Daroussin2013-03-081-6/+2
* Mark as broken on tier-2: uses i386-specific compiler flags.Mark Linimon2011-12-281-0/+4
* - Add WITH_DEBUG supportSunpoet Po-Chuan Hsieh2011-11-211-0/+4
* - Update to revision 1407Li-Wen Hsu2011-11-112-17/+26
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
* - Switch SourceForge ports to the new File Release System: categories startin...Dmitry Marakasov2009-08-221-2/+1
* - Update to 0.1-11-18-2008Li-Wen Hsu2008-12-242-6/+6
* Add stp , a Decision Procedure for Bitvectors and Arrays.Li-Wen Hsu2008-06-193-0/+58
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-01 17:33:55 +0000