mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +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>