Admin/polyml/settings
author wenzelm
Sun, 19 Jan 2020 14:50:03 +0100
changeset 71397 028edb1e5b99
parent 71396 c1c61d0d8e7c
child 72131 284d6c06cbfb
permissions -rw-r--r--
clarified file names;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
49000
0cebcbeac4c7 provide polyml-5.4.1 as regular component;
wenzelm
parents:
diff changeset
     1
# -*- shell-script -*- :mode=shellscript:
0cebcbeac4c7 provide polyml-5.4.1 as regular component;
wenzelm
parents:
diff changeset
     2
53686
432edb1a2469 updated to polyml-5.5.1;
wenzelm
parents: 51060
diff changeset
     3
POLYML_HOME="$COMPONENT"
432edb1a2469 updated to polyml-5.5.1;
wenzelm
parents: 51060
diff changeset
     4
69704
3fb94d9b87b0 updated polyml platform: 32=x86_64_32;
wenzelm
parents: 67581
diff changeset
     5
ML_PLATFORM="${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}"
49000
0cebcbeac4c7 provide polyml-5.4.1 as regular component;
wenzelm
parents:
diff changeset
     6
61158
ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
wenzelm
parents: 61136
diff changeset
     7
if grep "ML_system_64.*=.*true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
wenzelm
parents: 61136
diff changeset
     8
then
69704
3fb94d9b87b0 updated polyml platform: 32=x86_64_32;
wenzelm
parents: 67581
diff changeset
     9
  ML_OPTIONS="--minheap 1000"
61158
ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
wenzelm
parents: 61136
diff changeset
    10
else
69704
3fb94d9b87b0 updated polyml platform: 32=x86_64_32;
wenzelm
parents: 67581
diff changeset
    11
  ML_PLATFORM="${ML_PLATFORM/x86_64/x86_64_32}"
3fb94d9b87b0 updated polyml platform: 32=x86_64_32;
wenzelm
parents: 67581
diff changeset
    12
  ML_OPTIONS="--minheap 500"
61158
ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
wenzelm
parents: 61136
diff changeset
    13
fi
49000
0cebcbeac4c7 provide polyml-5.4.1 as regular component;
wenzelm
parents:
diff changeset
    14
70988
38ade730f6df updated to polyml-5.8.1-20191101 test version;
wenzelm
parents: 69822
diff changeset
    15
ML_SYSTEM=polyml-5.8.1
69704
3fb94d9b87b0 updated polyml platform: 32=x86_64_32;
wenzelm
parents: 67581
diff changeset
    16
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
3fb94d9b87b0 updated polyml platform: 32=x86_64_32;
wenzelm
parents: 67581
diff changeset
    17
ML_SOURCES="$POLYML_HOME/src"
71396
c1c61d0d8e7c clarified build_polyml_component: include IDE entry point for ML compiler;
wenzelm
parents: 70988
diff changeset
    18
71397
028edb1e5b99 clarified file names;
wenzelm
parents: 71396
diff changeset
    19
ISABELLE_DOCS_EXAMPLES="$ISABELLE_DOCS_EXAMPLES:\$ML_SOURCES/ROOT.ML"