- Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies build and run - Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also implies USES=ocaml:findlib - Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4 - Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib - Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig - Instead of USE_OCAML_WASH use USES=ocaml:wash - Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run - Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build - Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies USES=ocaml:tkbuild and USES=ocaml:tkrun - Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun - Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild - USES=ocaml:dune remains unchanged - Prepare to add/remove keywords easily Approved by: mat (portmgr) Reviewed by: freebsd@dev.thsi.be Differential Revision: https://reviews.freebsd.org/D48227
…
…
…
…
This is the FreeBSD Ports Collection. For an easy to use WEB-based interface to it, please see: https://ports.FreeBSD.org For general information on the Ports Collection, please see the FreeBSD Handbook ports section which is available from: https://docs.freebsd.org/en/books/handbook/ports/ for the latest official version or: The ports(7) manual page (man ports). These will explain how to use ports and packages. If you would like to search for a port, you can do so easily by saying (in /usr/ports): make search name="<name>" or: make search key="<keyword>" which will generate a list of all ports matching <name> or <keyword>. make search also supports wildcards, such as: make search name="gtk*" For information about contributing to FreeBSD ports, please see the Porter's Handbook, available at: https://docs.freebsd.org/en/books/porters-handbook/ NOTE: This tree will GROW significantly in size during normal usage! The distribution tar files can and do accumulate in /usr/ports/distfiles, and the individual ports will also use up lots of space in their work subdirectories unless you remember to "make clean" after you're done building a given port. /usr/ports/distfiles can also be periodically cleaned without ill-effect.
Description
Languages
Makefile
59.7%
C
16.1%
Shell
7.2%
Roff
5%
C++
3.7%
Other
7%