etc/options
changeset 78309 fc6246225283
parent 78306 b04ac8a017b2
child 78364 e33cca11b474
--- 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)"