| changeset 31683 | 7652c87c2db5 |
| parent 31316 | 39fe8093b1df |
| child 32080 | 0a8b5dfee5a5 |
| 31682:358cdcdf56d2 | 31683:7652c87c2db5 |
|---|---|
1 # -*- shell-script -*- :mode=shellscript: |
1 # -*- shell-script -*- :mode=shellscript: |
2 |
2 |
3 POLYML_HOME="/home/polyml/polyml-svn" |
3 POLYML_HOME="/home/polyml/polyml-5.2.1" |
4 ML_SYSTEM="polyml-experimental" |
4 ML_SYSTEM="polyml-5.2.1" |
5 ML_PLATFORM="x86-darwin" |
5 ML_PLATFORM="x86-darwin" |
6 ML_HOME="$POLYML_HOME/$ML_PLATFORM" |
6 ML_HOME="$POLYML_HOME/$ML_PLATFORM" |
7 ML_OPTIONS="--mutable 800 --immutable 2000" |
7 ML_OPTIONS="--mutable 800 --immutable 2000" |
8 |
8 |
9 |
9 |