Commit Graph

12 Commits

Author SHA1 Message Date
naddy ab45f39af6 drop RCS Ids 2022-03-11 19:36:11 +00:00
daniel 70e0408a36 update ocaml-zarith to 1.12
ok chrisz@
2021-12-12 05:26:18 +00:00
daniel efd5a97f0a update ocaml to 4.12.1
The ocaml update requires ocaml-camlp4 to be updated in sync and all
dependant ports need a bump.

ok avsm@ (MAINTAINER)
2021-12-10 04:10:59 +00:00
daniel 68420eccff update ocaml to to 4.11.2 and bump all dependant ports
As usual camlp4 and camlp4 need to be updated in sync with ocaml. All
ocaml ports were successfully builds- tested on amd64. coccinelle remains
broken, but was built with the proposed diff floating on ports@

ok chrisz@
2021-12-02 03:59:19 +00:00
daniel 1558cd5933 update to ocaml-zarith 1.11
ok chrisz@
2020-11-22 21:30:43 +00:00
chrisz 8f34a2e806 Update lang/ocaml to 4.10.0
tested on sparc64, update to lang/camlp4 and ok by jca@
ok daniel@
thanks.
2020-06-09 17:34:13 +00:00
chrisz 2dd0fda6b6 Update OCaml to 4.09
reviewed ports wise and help with @pkgpath, ok by sthen@
reviewed and help with bytecode-only plists, minor nits and ok by jca@
tested on sparc 64 by @jca
tested on aarch64 by Kurt Miller
tested on amd64 by me

Thanks for reviews and testing!
2019-09-26 09:46:09 +00:00
chrisz 225ce4224b Upgrade lang/ocaml to 4.08.1
* net unison needed some patchign to avoid deprecated library functions.
* all ports depending on the exact version of OCaml need revision bumps.
* net/unison needed some help to avoid deprecated library functions.

ok krw@, testing on i386 and ok daniel@
2019-09-18 17:49:35 +00:00
sthen 3318ced016 replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes 2019-07-12 20:46:54 +00:00
chrisz b438efbd00 Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
naddy 84174f9106 bump for package path change devel/gmp -> devel/gmp,-main 2018-11-02 18:48:39 +00:00
chrisz 953d5285f4 Import math/ocaml-zarith, an arbitrary precision arithmetics library
using GMP as backend. This is needed by frama-c because num was removed
from the OCaml compiler distribution.
Marked as BROKEN till the next OCaml upgrade.

OK jca@
2018-07-11 15:09:00 +00:00