aboutsummaryrefslogtreecommitdiff
path: root/math/alt-ergo
Commit message (Collapse)AuthorAgeFilesLines
* Mark as BROKEN on powerpc64:Mark Linimon2020-05-181-0/+2
| | | | | | | | | /tmp/camlasm2822e8.s: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is not between 0xffffffffffff8000 and 0x0000000000007ffc) /tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is not between 0xffffffffffff8000 and 0x0000000000007ffc) Notes: svn path=/head/; revision=535698
* Reset ports maintained by bf@ until he has time again to work on them.Rene Ladan2016-06-271-1/+1
| | | | | | | | | PR: 210474 Submitted by: jbeich With hat: portmgr-secretary Notes: svn path=/head/; revision=417685
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-5/+5
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412348
* - 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
* Cleanup plistAntoine Brodin2014-11-131-3/+0
| | | | Notes: svn path=/head/; revision=372546
* 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-023-30/+25
| | | | 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-182-2/+2
| | | | 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-214-0/+87
verification. Notes: svn path=/head/; revision=287773
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-26 14:41:21 +0000