equal
deleted
inserted
replaced
48 #ML_HOME="/usr/local/smlnj/bin" |
48 #ML_HOME="/usr/local/smlnj/bin" |
49 #ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=256" |
49 #ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=256" |
50 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
50 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
51 #SMLNJ_CYGWIN_RUNTIME=1 |
51 #SMLNJ_CYGWIN_RUNTIME=1 |
52 |
52 |
53 # Moscow ML 2.00 (experimental!) |
|
54 #ML_SYSTEM=mosml |
|
55 #ML_HOME="/usr/local/mosml/bin" |
|
56 #ML_OPTIONS="" |
|
57 #ML_PLATFORM="" |
|
58 |
|
59 |
53 |
60 ### |
54 ### |
61 ### JVM components (Scala or Java) |
55 ### JVM components (Scala or Java) |
62 ### |
56 ### |
63 |
57 |