aboutsummaryrefslogtreecommitdiffstats
path: root/math/stp/Makefile
Commit message (Expand)AuthorAgeFilesLines
* devel/boost-*: update to 1.71.0jbeich2019-08-191-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2019-07-271-0/+1
* math/stp: Update to 2.3.3.arrowd2019-07-211-5/+1
* devel/boost-*: update to 1.70.0jbeich2019-04-121-1/+1
* Bump a few PORTREVISIONs after r498529antoine2019-04-101-0/+1
* math/stp: Update to 2.3.2.arrowd2019-02-241-3/+2
* Change cmake default behaviour to outsource.tcberner2018-12-261-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2018-12-121-1/+1
* devel/boost-*: update to 1.69.0jbeich2018-12-121-1/+1
* Add compiler:c++11-lang to USES to fix linking with boost.linimon2018-11-071-2/+1
* devel/boost-*: update to 1.68.0jbeich2018-08-091-1/+1
* math/stp: Pull in fixes from the PR I missed.arrowd2018-07-281-0/+5
* math/stp: Update to latest 2.3.1 version.arrowd2018-07-241-7/+8
* Mark ports broken on powerpc64, categories g-n.linimon2018-06-181-2/+3
* devel/boost-*: update to 1.67.0jbeich2018-04-181-1/+1
* devel/boost-*: update to 1.66.0jbeich2018-01-181-1/+1
* devel/boost-*: update to 1.65.1jbeich2017-09-251-1/+1
* devel/boost-*: enable C++11 featuresjbeich2017-09-251-1/+1
* Make ninja opt-out in cmake.mktcberner2017-06-261-1/+1
* devel/boost-*: update to 1.64.0jbeich2017-05-021-1/+1
* Mark various ports broken on aarch64 and armv6.linimon2017-01-311-0/+2
* devel/boost-*: update to 1.63.0jbeich2017-01-061-1/+1
* Remove always-true/false conditions after 9.x, 10.[12] EOLamdmi32017-01-051-10/+1
* devel/boost-*: update to 1.62.0jbeich2016-11-231-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.mat2016-04-011-3/+3
* Remove OSVERSION checks that do not make sense any more.mat2015-04-031-4/+0
* Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.xantoine2014-08-261-1/+1
* Package somethingantoine2014-08-261-0/+1
* Convert a bunch of USE_XZ to USES=tar:xz.adamw2014-07-301-2/+1
* Remove indefinite articles and trailing periods from COMMENT, plus minorolgeni2014-07-071-1/+1
* Fix math/stp build for FreeBSD 9.xehaupt2014-03-071-0/+3
* - Update to revision 1436lwhsu2014-03-041-33/+12
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* Convert to new perl frameworkbapt2013-09-171-3/+2
* Convert USE_BISON to USES= bisonbapt2013-03-081-6/+2
* Mark as broken on tier-2: uses i386-specific compiler flags.linimon2011-12-281-0/+4
* - Add WITH_DEBUG supportsunpoet2011-11-211-0/+4
* - Update to revision 1407lwhsu2011-11-111-15/+24
* - Switch SourceForge ports to the new File Release System: categories startin...amdmi32009-08-221-2/+1
* - Update to 0.1-11-18-2008lwhsu2008-12-251-3/+3
* Add stp , a Decision Procedure for Bitvectors and Arrays.lwhsu2008-06-191-0/+41
generated by cgit (git 2.34.1) at 2024-11-24 13:00:31 +0800