aboutsummaryrefslogtreecommitdiff
path: root/math/gringo
Commit message (Expand)AuthorAgeFilesLines
* Drop C++11 workaround for GCC < 6 after r449590Jan Beich2019-09-141-3/+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
* Unbreak on powerpc64.Mark Linimon2018-10-282-3/+11
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-0/+1
* Restore maintainershipVsevolod Stakhov2018-07-271-1/+1
* math/gringo: Update 4.5.2 -> 4.5.4Yuri Victorovich2018-07-273-10/+10
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
* Mark some ports failing on power64. In cases where the error messageMark Linimon2017-05-131-0/+2
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-0/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
* - Fix build with ccache by making SCons preserve environmentDmitry Marakasov2015-09-151-0/+20
* Require a C++11-compliant standard library and make it work with GCC < 4.9.Raphael Kubo da Costa2015-09-011-8/+5
* - Update to 4.5.2Vsevolod Stakhov2015-08-174-26/+18
* MASTER_SITES cleanup.Mathieu Arnold2015-05-141-2/+1
* Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes.Gerald Pfeifer2014-09-201-1/+1
* Fix build on 8 and 9 where there is no std::strtoull.Vsevolod Stakhov2014-08-271-11/+19
* Test fix for math/gringo.Matthias Andree2014-08-211-0/+12
* - Update to 4.4.0Vsevolod Stakhov2014-08-192-4/+4
* - Unbreak on FreeBSD < 10Vsevolod Stakhov2014-01-241-5/+13
* Add gringo - an advanced grounder to compute variable-free programs.Vsevolod Stakhov2014-01-103-0/+35