Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_polyml.scala
changeset 67600 d515b6140381
parent 67599 544a0293cadc
child 67609 738b4d4eeb61 
--- a/src/Pure/Admin/build_polyml.scala	Sun Feb 11 14:21:16 2018 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Sun Feb 11 15:03:25 2018 +0100
@@ -45,7 +45,7 @@
         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", "--enable-shared"),
+            "LDFLAGS=-segprot POLY rwx rwx"),
         setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
     "x86-windows" ->
       Platform_Info(
isabelle