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)
the ECHO macro is set to "echo" by default, but it is set to "true" if
make(1) is invoked with the -s option while ECHO_CMD is always set to
the echo command.
Use command macros where appropriate.
The trap handler returns different information after this date for
numeric error conditions. Since kern.osreldate is not a reliable
indicator of when this change occurred, we revert to checking for
the presence of a particular #define in <machine/trap.h> to decide
if the SML/NJ runtime sources need to use the newer interface.
Submitted by: Tom <tcrimi@andrew.cmu.edu> (in part)
FWIW, checkout of these things took 5+hrs, staying on the local
.freebsd.org net w/o hitting the 'net at all.
As promised,
$ time cvs ci
real 67m51.701s
user 0m1.250s
sys 0m5.345s
