mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-01 01:17:02 +00:00
2fabb6ed47
(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> |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-plist |