Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper support for arm64;
authorwenzelm
Sun, 07 Nov 2021 23:35:11 +0100
changeset 74728 58ae06d382ee
parent 74727 fa15929bdf83
child 74730 25f5f1fa31bb
child 74741 6e1fad4f602b
proper support for arm64;
Admin/polyml/settings file | annotate | diff | comparison | revisions 
--- a/Admin/polyml/settings	Sun Nov 07 20:04:47 2021 +0100
+++ b/Admin/polyml/settings	Sun Nov 07 23:35:11 2021 +0100
@@ -8,7 +8,7 @@
 then
   ML_OPTIONS="--minheap 1000"
 else
-  ML_PLATFORM="${ML_PLATFORM/x86_64/x86_64_32}"
+  ML_PLATFORM="${ML_PLATFORM/64/64_32}"
   ML_OPTIONS="--minheap 500"
 fi
isabelle