# HG changeset patch
# User wenzelm
# Date 1689087112 -7200
# Node ID b04ac8a017b2d7d48d9ff599afd9777cd4e628bb
# Parent  9f2f61d766f42cfa5cdd34ffdec390b08be24837
ML_system_apple=false for more stability;

diff -r 9f2f61d766f4 -r b04ac8a017b2 NEWS
--- a/NEWS	Tue Jul 11 15:51:15 2023 +0200
+++ b/NEWS	Tue Jul 11 16:51:52 2023 +0200
@@ -461,6 +461,10 @@
 
 * Update to GHC stack 2.9.3 with support for arm64-linux.
 
+* System option "ML_system_apple" now defaults to "false", for more
+stability: Poly/ML for ARM64 is still somewhat unstable and not
+yet officially released.
+
 
 
 New in Isabelle2022 (October 2022)
diff -r 9f2f61d766f4 -r b04ac8a017b2 etc/options
--- a/etc/options	Tue Jul 11 15:51:15 2023 +0200
+++ b/etc/options	Tue Jul 11 16:51:52 2023 +0200
@@ -177,7 +177,7 @@
 public option ML_system_64 : bool = false for build
   -- "prefer native 64bit platform (change requires restart)"
 
-public option ML_system_apple : bool = true for build
+public option ML_system_apple : bool = false for build
   -- "prefer native Apple/ARM64 platform (change requires restart)"