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 GMP build options, notably for Windows;
authorwenzelm
Thu, 10 Apr 2025 20:54:02 +0200
changeset 82481 041d65893a85
parent 82480 489f4a79d215
child 82482 781be4a1c2b8
clarified GMP build options, notably for Windows;
src/Pure/Admin/component_polyml.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_polyml.scala	Thu Apr 10 20:39:06 2025 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Thu Apr 10 20:54:02 2025 +0200
@@ -81,7 +81,8 @@
     progress.echo("Building GMP library ...")
     platform_context.execute(root,
       "[ -f Makefile ] && make distclean",
-      "./configure --enable-cxx --build=" + platform_arch + "-" + platform_os +
+      "./configure --disable-static --enable-shared --enable-cxx" +
+        " --build=" + platform_arch + "-" + platform_os +
         " --prefix=" + Bash.string(platform_context.standard_path(target_dir)) +
         if_proper(options, " " + Bash.strings(options)),
       "make",
isabelle