non port: lang/sml-nj-devel/files/optional-patch-flint-access |
Number of commits found: 5 |
Sunday, 29 Aug 2004
|
15:00 jkoshy
Upgrade to v110.48.
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER]
|
Sunday, 9 Jun 2002
|
07:00 jkoshy
Upgrade to v110.40.
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER]
|
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: 5 |