equal
deleted
inserted
replaced
49 #ML_SYSTEM=smlnj-110 |
49 #ML_SYSTEM=smlnj-110 |
50 #ML_HOME="$ISABELLE_HOME/../smlnj/bin" |
50 #ML_HOME="$ISABELLE_HOME/../smlnj/bin" |
51 #ML_OPTIONS="@SMLdebug=/dev/null" |
51 #ML_OPTIONS="@SMLdebug=/dev/null" |
52 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
52 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
53 |
53 |
54 # MLWorks 2.0 |
|
55 #ML_SYSTEM=mlworks |
|
56 #ML_HOME="$ISABELLE_HOME/../mlworks/bin" |
|
57 #ML_OPTIONS="" |
|
58 #ML_PLATFORM="" |
|
59 |
|
60 # Moscow ML 2.00 or later (experimental!) |
54 # Moscow ML 2.00 or later (experimental!) |
61 #ML_SYSTEM=mosml |
55 #ML_SYSTEM=mosml |
62 #ML_HOME="$ISABELLE_HOME/../mosml/bin" |
56 #ML_HOME="$ISABELLE_HOME/../mosml/bin" |
63 #ML_PLATFORM="" |
57 #ML_PLATFORM="" |
64 #ML_OPTIONS="" |
58 #ML_OPTIONS="" |
65 |
|
66 # Standard ML of New Jersey 0.93 |
|
67 #ML_SYSTEM=smlnj-0.93 |
|
68 #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src |
|
69 #ML_OPTIONS="" |
|
70 #ML_PLATFORM="" |
|
71 |
59 |
72 |
60 |
73 ### |
61 ### |
74 ### Compilation options for isatool usedir |
62 ### Compilation options for isatool usedir |
75 ### (as on command line) |
63 ### (as on command line) |