aboutsummaryrefslogtreecommitdiff
path: root/math/gringo/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes.Gerald Pfeifer2014-09-201-1/+1
| | | | Notes: svn path=/head/; revision=368664
* - Update to 4.4.0Vsevolod Stakhov2014-08-191-2/+2
| | | | | | | - Add dependency on c++11 compiler. Notes: svn path=/head/; revision=365387
* - Unbreak on FreeBSD < 10Vsevolod Stakhov2014-01-241-5/+13
| | | | | | | | | - Disable lua support as it is terribly broken - Add license - Update portrevision accordingly Notes: svn path=/head/; revision=340913
* Add gringo - an advanced grounder to compute variable-free programs.Vsevolod Stakhov2014-01-101-0/+27
Notes: svn path=/head/; revision=339359