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 67596 6f819a5b4a92
parent 67594 c195722c60ac
child 67597 fe6dc6d8451a 
--- a/src/Pure/Admin/build_polyml.scala	Sun Feb 11 13:13:03 2018 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Sun Feb 11 13:24:38 2018 +0100
@@ -45,7 +45,8 @@
     "x86-windows" ->
       Platform_Info(
         options =
-          List("--host=i686-w32-mingw32", "CPPFLAGS=-I/mingw32/include", "--disable-windows-gui"),
+          List("--host=i686-w32-mingw32", "CPPFLAGS=-I/mingw32/include",
+            "--disable-windows-gui", "--disable-shared"),
         setup =
           """PATH=/usr/bin:/bin:/mingw32/bin
             export CONFIG_SITE=/etc/config.site""",
@@ -56,7 +57,8 @@
     "x86_64-windows" ->
       Platform_Info(
         options =
-          List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"),
+          List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include",
+            "--disable-windows-gui", "--disable-shared"),
         setup =
           """PATH=/usr/bin:/bin:/mingw64/bin
             export CONFIG_SITE=/etc/config.site""",
isabelle