| changeset 61136 | 168f84f45730 |
| parent 60983 | ff4a67c65084 |
| child 61158 | ea6a4c8bc722 |
| 61135:8f7d802b7a71 | 61136:168f84f45730 |
|---|---|
38 ML_PLATFORM="$ISABELLE_PLATFORM32" |
38 ML_PLATFORM="$ISABELLE_PLATFORM32" |
39 ;; |
39 ;; |
40 esac |
40 esac |
41 |
41 |
42 case "$ML_PLATFORM" in |
42 case "$ML_PLATFORM" in |
43 x86_64-windows) |
|
44 ML_OPTIONS="-H 1000 --codepage utf8" |
|
45 ;; |
|
46 x86-windows) |
|
47 ML_OPTIONS="-H 500 --codepage utf8" |
|
48 ;; |
|
43 x86_64-*) |
49 x86_64-*) |
44 ML_OPTIONS="-H 1000" |
50 ML_OPTIONS="-H 1000" |
45 ;; |
51 ;; |
46 *) |
52 *) |
47 ML_OPTIONS="-H 500" |
53 ML_OPTIONS="-H 500" |