--- 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" +