8 Commits

Author	SHA1	Message	Date
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