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
Mon, 24 Jan 2022 21:29:37 +0100
changeset 74995 68ffcf5cc94b
parent 74728 58ae06d382ee
child 76275 b446004b2464
permissions -rw-r--r--
updated to polyml-test-15c840d48c9a;
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









74995






68ffcf5cc94b
updated to polyml-test-15c840d48c9a;



wenzelm


parents: 
74728

diff
changeset




     5


ML_PLATFORM="${ISABELLE_APPLE_PLATFORM64:-${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








74728






58ae06d382ee
proper support for arm64;



wenzelm


parents: 
74637

diff
changeset




    11


  ML_PLATFORM="${ML_PLATFORM/64/64_32}"








69704






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









74637






455549306166
test version of prespective polyml-5.9;



wenzelm


parents: 
72131

diff
changeset




    15


ML_SYSTEM=polyml-5.9








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"















isabelle