Date: Wed, 8 Jun 2005 21:16:02 +0000 (UTC) From: Thierry Thomas <thierry@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/lang/ocaml Makefile pkg-plist Message-ID: <200506082116.j58LG3Sd061530@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
thierry 2005-06-08 21:16:02 UTC
FreeBSD ports repository
Modified files:
lang/ocaml Makefile pkg-plist
Log:
- Add a knob WITHOUT_COMPILER_LIB, in order to install compiler libs
(additionnal libs needed to build programs manipulating OCaml modules,
like the ocaml/cduce interface for example.);
- add an option WITH_OPT_DEFAULT, telling the port to replace ocamlc and
other tools by there native and faster version;
WARNING: This option may break other ports!
- Take maintainership.
PR: ports/81868
Submitted by: Marwan Burelle <marwan.burelle (at) lri.fr>
Revision Changes Path
1.43 +43 -6 ports/lang/ocaml/Makefile
1.27 +0 -15 ports/lang/ocaml/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200506082116.j58LG3Sd061530>