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.
proper CONFIG_SITE for msys;
authorwenzelm
Fri, 11 Nov 2016 16:10:46 +0100
changeset 64494 979520c83f30
parent 64493 a2eebcc8bb69
child 64495 754e1b4634c3
proper CONFIG_SITE for msys;
src/Pure/Admin/build_polyml.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_polyml.scala	Fri Nov 11 15:24:56 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Fri Nov 11 16:10:46 2016 +0100
@@ -37,7 +37,9 @@
       Platform_Info(
         options =
           List("--host=i686-w32-mingw32", "CPPFLAGS=-I/mingw32/include", "--disable-windows-gui"),
-        setup = "PATH=/usr/bin:/bin:/mingw32/bin",
+        setup =
+          """PATH=/usr/bin:/bin:/mingw32/bin
+            export CONFIG_SITE=/etc/config.site""",
         copy_files =
           List("/mingw32/bin/libgcc_s_dw2-1.dll",
             "/mingw32/bin/libgmp-10.dll",
@@ -46,7 +48,9 @@
       Platform_Info(
         options =
           List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"),
-        setup = "PATH=/usr/bin:/bin:/mingw64/bin",
+        setup =
+          """PATH=/usr/bin:/bin:/mingw64/bin
+            export CONFIG_SITE=/etc/config.site""",
         copy_files =
           List("/mingw64/bin/libgcc_s_seh-1.dll",
             "/mingw64/bin/libgmp-10.dll",
isabelle