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.
revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well;
authorwenzelm
Tue, 11 Jul 2023 18:30:56 +0200
changeset 78309 fc6246225283
parent 78308 1d041311dc67
child 78310 6872c8d95ebc
child 78321 021fb1b01de5
revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well;
NEWS file | annotate | diff | comparison | revisions
etc/options file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Jul 11 17:07:10 2023 +0200
+++ b/NEWS	Tue Jul 11 18:30:56 2023 +0200
@@ -461,10 +461,6 @@
 
 * 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)
--- a/etc/options	Tue Jul 11 17:07:10 2023 +0200
+++ b/etc/options	Tue Jul 11 18:30:56 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 = false for build
+public option ML_system_apple : bool = true for build
   -- "prefer native Apple/ARM64 platform (change requires restart)"
isabelle