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)