# HG changeset patch
# User wenzelm
# Date 1636324511 -3600
# Node ID 58ae06d382ee5a1867d402550dbc69d2d1275c27
# Parent  fa15929bdf83e65ebe9f30b3d44326c754332cc5
proper support for arm64;

diff -r fa15929bdf83 -r 58ae06d382ee Admin/polyml/settings
--- 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