aboutsummaryrefslogtreecommitdiff
path: root/math/alt-ergo/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addGuido Falsi2015-05-041-1/+1
| | | | | | | | | | | | | | | | | | depends on the camlp4 language and labltk ocaml modules, which are now in separate ports. - Update x11-toolkits/ocaml-lablgtk2 to 2.18.3 - Update graphics/ocaml-lablgl to 1.05 - Make unison ports use USE_OCAML - Convert ports to the new flags where needed - Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be rebuilt PR: 199845 Submitted by: jbeich@ Differential Revision: https://reviews.freebsd.org/D2434 Approved by: portmgr (mat) Notes: svn path=/head/; revision=385413
* Canonicalize a few licensesAntoine Brodin2014-12-071-1/+1
| | | | Notes: svn path=/head/; revision=374163
* Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer2014-09-101-0/+1
| | | | | | | | | | | | | to GCC 4.8.3. Part II, Bump PORTREVISIONs. PR: 192025 Tested by: antoine (-exp runs) Approved by: portmgr (implicit) Notes: svn path=/head/; revision=367888
* Convert GMAKE to MAKE_CMDBaptiste Daroussin2014-06-251-1/+1
| | | | | | | | | | Please note that lots of invocation of MAKE_CMD here are wrong as they do not properly respect MAKE_ENV and friends With hat: portmgr Notes: svn path=/head/; revision=359185
* math/alt-ergo: Update version 0.94 => 0.95.2 and support stageJohn Marino2014-06-021-23/+16
| | | | Notes: svn path=/head/; revision=356261
* - Convert gmake,bzip2 to USESMartin Wilke2014-05-261-1/+1
| | | | | | | Approved by: portmgr Notes: svn path=/head/; revision=355316
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* update master sites; trim headers; reposition LICENSE, WWWBrendan Fabeny2013-03-181-1/+1
| | | | Notes: svn path=/head/; revision=314582
* switch to the new options formatBrendan Fabeny2013-03-071-3/+4
| | | | Notes: svn path=/head/; revision=313560
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustBrendan Fabeny2013-03-051-7/+5
| | | | | | | | | | dependent ports PR: 144982, 149958 Reviewed by: johans (earlier version of the patch) Notes: svn path=/head/; revision=313476
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+1
| | | | Notes: svn path=/head/; revision=297915
* Add alt-ergo 0.94, an automatic theorem prover dedicated to programBrendan Fabeny2011-12-211-0/+65
verification. Notes: svn path=/head/; revision=287773
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-11 14:13:47 +0000