# HG changeset patch
# User wenzelm
# Date 1620728499 -7200
# Node ID 4d0df84a5b8882d1d65ebd961394c11ceea6328f
# Parent  9ab1d5fa84d0c05b5c9cdd8912caefc8d6b2306d
clarified options: implicitly support both x86_64 and arm64;

diff -r 9ab1d5fa84d0 -r 4d0df84a5b88 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Tue May 11 11:17:27 2021 +0200
+++ b/src/Pure/Admin/build_polyml.scala	Tue May 11 12:21:39 2021 +0200
@@ -26,10 +26,7 @@
         libs = Set("libgmp")),
     "darwin" ->
       Platform_Info(
-        options =
-          List("--build=x86_64-darwin", "CFLAGS=-arch x86_64 -O3 -I../libffi/include",
-            "CXXFLAGS=-arch x86_64 -O3 -I../libffi/include", "CCASFLAGS=-arch x86_64",
-            "LDFLAGS=-segprot POLY rwx rwx"),
+        options = List("CFLAGS=-O3", "CXXFLAGS=-O3", "LDFLAGS=-segprot POLY rwx rwx"),
         setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin",
         libs = Set("libpolyml", "libgmp")),
     "windows" ->