mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +00:00
![Joseph Koshy](/assets/img/avatar_default.png)
knobs: - the default compiles the basic runtime, heap, libs, ml-yacc, ml-lex and smlnj-lib - WITH_EVERYTHING installs everything in the distribution, including sources - WITH_RECOMPILE recompiles the compiler, implies WITH_EVERYTHING - WITH_FLINT applies the patch to access FLINT, implies WITH_RECOMPILE Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> (MAINTAINER)