non port: lang/sml-nj-devel/files/plist-cml |
Number of commits found: 3 |
Tuesday, 26 Mar 2002
|
08:58 jkoshy
Upgrade to v110.39. Compilation of this port is now controlled by three
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)
|
Thursday, 20 Dec 2001
|
08:56 jkoshy
Update to v110.37.
|
Friday, 24 Aug 2001
|
10:12 jkoshy
Upgrade to SML/NJ v110.34. Add a number of nifty configurability options.
|
Number of commits found: 3 |