notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
alt-ergo Automatic solver of mathematical formulas for program verification
0.95.2_3 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.95.2_3Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2011-12-21 02:58:38
Last Update: 2021-04-29 20:15:20
Commit Hash: 541ea6d
License: CeCILL-C
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (13 items)
Collapse this list.
  1. /usr/local/share/licenses/alt-ergo-0.95.2_3/catalog.mk
  2. /usr/local/share/licenses/alt-ergo-0.95.2_3/LICENSE
  3. /usr/local/share/licenses/alt-ergo-0.95.2_3/CeCILL-C
  4. bin/alt-ergo
  5. lib/ocaml/alt-ergo/META
  6. lib/ocaml/alt-ergo/altErgo.cmi
  7. lib/ocaml/alt-ergo/altErgo.cmo
  8. lib/ocaml/alt-ergo/altErgo.cmx
  9. lib/ocaml/alt-ergo/altErgo.o
  10. man/man1/alt-ergo.1.gz
  11. @owner
  12. @group
  13. @mode
Collapse this list.
Dependency lines:
  • alt-ergo>0:math/alt-ergo
To install the port: cd /usr/ports/math/alt-ergo/ && make install clean
To add the package, run one of these commands:
  • pkg install math/alt-ergo
  • pkg install alt-ergo
PKGNAME: alt-ergo
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
alt-ergo
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd640.95.2_3-
FreeBSD:11:armv6--
FreeBSD:11:i3860.95.2_3-
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd640.95.2_3-
FreeBSD:12:armv60.95.2_2-
FreeBSD:12:armv7--
FreeBSD:12:i3860.95.2_3-
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd640.95.2_3-
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3860.95.2_3-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd640.95.2_3-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i3860.95.2_3-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. ocaml-zarith>1.2 : math/ocaml-zarith
  2. ocaml-ocamlgraph>1.8 : math/ocaml-ocamlgraph
  3. ocaml-lablgtk2>=0 : x11-toolkits/ocaml-lablgtk2
  4. ocamlc : lang/ocaml
  5. gmake>=4.3 : devel/gmake
Runtime dependencies:
  1. ocaml-ocamlgraph>1.8 : math/ocaml-ocamlgraph
  2. ocaml-lablgtk2>=0 : x11-toolkits/ocaml-lablgtk2
  3. ocamlc : lang/ocaml
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
This port is required by:
for Run

Deleted ports which required this port:

Expand this list of 1 deleted port
  1. lang/spark*
  2. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

Configuration Options:
Options name:

USES:

Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/
Collapse this list.

Number of commits found: 19

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
29 Apr 2021 20:15:20
 files touched by this commit commit hash:541ea6df4e37d136287cfad02508149c4c8010ed  0.95.2_3
amdmi3 search for other commits by this committer
math/alt-ergo: fix build
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  0.95.2_3
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
04 Feb 2021 10:01:17
Original commit files touched by this commit Revision:564009  0.95.2_3
bapt search for other commits by this committer
Remove the GUI option

The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries
18 May 2020 00:58:50
Original commit files touched by this commit Revision:535698  0.95.2_2
linimon search for other commits by this committer
Mark as BROKEN on powerpc64:

  /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)
27 Jun 2016 21:30:34
Original commit files touched by this commit Revision:417685  0.95.2_2
rene search for other commits by this committer
Reset ports maintained by bf@ until he has time again to work on them.

PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary
01 Apr 2016 14:16:20
Original commit files touched by this commit Revision:412348  0.95.2_2
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
04 May 2015 15:46:52
Original commit files touched by this commit Revision:385413  0.95.2_2
madpilot search for other commits by this committer
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  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)
07 Dec 2014 00:07:48
Original commit files touched by this commit Revision:374163  0.95.2_1
antoine search for other commits by this committer
Canonicalize a few licenses
13 Nov 2014 23:24:01
Original commit files touched by this commit Revision:372546  0.95.2_1
antoine search for other commits by this committer
Cleanup plist
10 Sep 2014 20:50:37
Original commit files touched by this commit Revision:367888  0.95.2_1
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
25 Jun 2014 05:35:32
Original commit files touched by this commit Revision:359185  0.95.2
bapt search for other commits by this committer
Convert GMAKE to MAKE_CMD
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
02 Jun 2014 23:51:07
Original commit files touched by this commit Revision:356261  0.95.2
marino search for other commits by this committer
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
26 May 2014 12:28:34
Original commit files touched by this commit Revision:355316  0.94_2
miwi search for other commits by this committer
- Convert gmake,bzip2 to USES

Approved by:	portmgr
20 Sep 2013 20:55:06
Original commit files touched by this commit Revision:327746  0.94_2
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
18 Mar 2013 16:11:34
Original commit files touched by this commit Revision:314582  0.94_2
bf search for other commits by this committer
update master sites; trim headers; reposition LICENSE, WWW
07 Mar 2013 03:46:47
Original commit files touched by this commit Revision:313560  0.94_2
bf search for other commits by this committer
switch to the new options format
05 Mar 2013 20:22:03
Original commit files touched by this commit Revision:313476  0.94_2
bf search for other commits by this committer
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
01 Jun 2012 05:26:28
Original commit files touched by this commit   0.94_1
dinoex search for other commits by this committer
- update png to 1.5.10
21 Dec 2011 02:58:24
Original commit files touched by this commit   0.94
bf search for other commits by this committer
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

Number of commits found: 19