clarified options: implicitly support both x86_64 and arm64;
authorwenzelm
Tue, 11 May 2021 12:21:39 +0200
changeset 73922 4d0df84a5b88
parent 73921 9ab1d5fa84d0
child 73923 442460fba2a4
clarified options: implicitly support both x86_64 and arm64;
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" ->