# HG changeset patch
# User wenzelm
# Date 1518353428 -3600
# Node ID fb03259692cacbf997eb54055ada5a8e7350a01b
# Parent  fe6dc6d8451afc697e73fc7c82dbd50a92b3540a
tuned;

diff -r fe6dc6d8451a -r fb03259692ca src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Sun Feb 11 13:45:51 2018 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Sun Feb 11 13:50:28 2018 +0100
@@ -16,6 +16,12 @@
     options_multilib: List[String] = Nil,
     setup: String = "",
     copy_files: List[String] = Nil)
+  {
+    def platform_options(arch_64: Boolean): List[String] =
+      if (!arch_64 && Isabelle_System.getenv("ISABELLE_PLATFORM64") == "x86_64-linux")
+        options_multilib
+      else options
+  }
 
   private val platform_info = Map(
     "x86-linux" ->
@@ -110,10 +116,7 @@
     /* configure and make */
 
     val configure_options =
-      List("--enable-intinf-as-int", "--with-gmp") :::
-      (if (!arch_64 && Isabelle_System.getenv("ISABELLE_PLATFORM64") == "x86_64-linux")
-        info.options_multilib
-       else info.options) ::: options
+      List("--enable-intinf-as-int", "--with-gmp") ::: info.platform_options(arch_64) ::: options
 
     bash(root,
       info.setup + "\n" +