Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/polyml/settings
author wenzelm
Tue, 30 Jul 2019 14:35:29 +0200
changeset 70447 755d58b48cec
parent 69822 8c587dd44f51
child 70988 38ade730f6df
permissions -rw-r--r--
clarified modules: provide reconstruct_proof / expand_proof at the bottom of proof term construction;
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









69822






8c587dd44f51
updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);



wenzelm


parents: 
69704

diff
changeset




    15


ML_SYSTEM=polyml-5.8








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"















isabelle