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.
clarified options: implicitly support both x86_64 and arm64;
authorwenzelm
Tue, 11 May 2021 12:21:39 +0200
changeset 73666 4d0df84a5b88
parent 73665 9ab1d5fa84d0
child 73667 442460fba2a4
clarified options: implicitly support both x86_64 and arm64;
src/Pure/Admin/build_polyml.scala file | annotate | diff | comparison | revisions 
--- 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" ->
isabelle