Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
16 Apr 2022 07:19:46 0.95.2_3
|
Alexey Dokuchaev (danfe)  |
OCaml: transient update of the stack to version 4.07.1
This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.
It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.
For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.
PR: 250408, 262781
Exp-run by: antoine |
29 Apr 2021 20:15:20 0.95.2_3
|
Dmitry Marakasov (amdmi3)  |
math/alt-ergo: fix build |
06 Apr 2021 14:31:07 0.95.2_3
|
Mathieu Arnold (mat)  |
Remove # $FreeBSD$ from Makefiles. |
04 Feb 2021 10:01:17
0.95.2_3
|
bapt  |
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
0.95.2_2
|
linimon  |
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
0.95.2_2
|
rene  |
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
0.95.2_2
|
mat  |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
04 May 2015 15:46:52
0.95.2_2
|
madpilot  |
- 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
0.95.2_1
|
antoine  |
Canonicalize a few licenses |
13 Nov 2014 23:24:01
0.95.2_1
|
antoine  |
Cleanup plist |
10 Sep 2014 20:50:37
0.95.2_1
|
gerald  |
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
0.95.2
|
bapt  |
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
0.95.2
|
marino  |
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage |
26 May 2014 12:28:34
0.94_2
|
miwi  |
- Convert gmake,bzip2 to USES
Approved by: portmgr |
20 Sep 2013 20:55:06
0.94_2
|
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
18 Mar 2013 16:11:34
0.94_2
|
bf  |
update master sites; trim headers; reposition LICENSE, WWW |
07 Mar 2013 03:46:47
0.94_2
|
bf  |
switch to the new options format |
05 Mar 2013 20:22:03
0.94_2
|
bf  |
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
0.94_1
|
dinoex  |
- update png to 1.5.10 |
21 Dec 2011 02:58:24
0.94
|
bf  |
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification. |