aboutsummaryrefslogtreecommitdiff
path: root/math/cvc3/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-1/+1
* Bump PORTREVISIONs of all users of math/mpc that we just updated toGerald Pfeifer2018-03-101-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-1/+1
* math/cvc3: unbreak with gcc6 or laterJan Beich2017-02-111-0/+1
* Bump PORTREVISIONS for ports depending on the canonical version of GCC andGerald Pfeifer2016-11-201-0/+1
* Use USES=pathfix where applicable.Mathieu Arnold2016-10-211-2/+2
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
* Stagify.Vanilla I. Shu2014-07-161-2/+2
* Modernize LIB_DEPENDSBaptiste Daroussin2014-07-131-1/+1
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
* - Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported laterLi-Wen Hsu2013-11-131-0/+1
* 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-6/+2
* Convert USE_BISON to USES= bisonBaptiste Daroussin2013-03-081-6/+2
* - Update to 2.4.1Li-Wen Hsu2012-02-041-5/+13
* Switch to use newer GMP version.Alex Dupre2010-04-191-2/+2
* Chase libgmp and bump PORTREVISION.Alex Dupre2009-05-131-1/+1
* Migration from bison 1.x to 2.xAde Lovett2007-10-171-1/+2
* - Update to 1.2.1Li-Wen Hsu2007-09-071-1/+1
* - Change to my FreeBSD.org emailLi-Wen Hsu2007-04-041-1/+1
* Add cvc3 1.0, an automatic theorem prover for the SMT problem.Cheng-Lung Sung2007-03-251-0/+31