# HG changeset patch # User wenzelm # Date 1689093056 -7200 # Node ID fc62462252833146d6ee0d0042b1b3dc2b1e8d4d # Parent 1d041311dc672d4c7c06f3a531f0f51b5133f12d revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well; diff -r 1d041311dc67 -r fc6246225283 NEWS --- 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) diff -r 1d041311dc67 -r fc6246225283 etc/options --- 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)"