src/Pure/Admin/build_polyml.scala
changeset 67593 5efb88c90051
parent 67592 66253039d5ca
child 67594 c195722c60ac
equal deleted inserted replaced
67592:66253039d5ca 67593:5efb88c90051
   110     /* configure and make */
   110     /* configure and make */
   111 
   111 
   112     val configure_options =
   112     val configure_options =
   113       (if (!arch_64 && Isabelle_System.getenv("ISABELLE_PLATFORM64") == "x86_64-linux")
   113       (if (!arch_64 && Isabelle_System.getenv("ISABELLE_PLATFORM64") == "x86_64-linux")
   114         info.options_multilib
   114         info.options_multilib
   115        else info.options) ::: List("--enable-shared", "--enable-intinf-as-int") ::: options
   115        else info.options) :::
       
   116       List("--enable-shared", "--enable-intinf-as-int", "--with-gmp") ::: options
   116 
   117 
   117     bash(root,
   118     bash(root,
   118       info.setup + "\n" +
   119       info.setup + "\n" +
   119       """
   120       """
   120         [ -f Makefile ] && make distclean
   121         [ -f Makefile ] && make distclean
   246     -M DIR       msys root directory (for Windows)
   247     -M DIR       msys root directory (for Windows)
   247     -m ARCH      processor architecture (32=x86, 64=x86_64, default: x86)
   248     -m ARCH      processor architecture (32=x86, 64=x86_64, default: x86)
   248     -s DIR       sha1 sources, see https://bitbucket.org/isabelle_project/sha1
   249     -s DIR       sha1 sources, see https://bitbucket.org/isabelle_project/sha1
   249 
   250 
   250   Build Poly/ML in the ROOT directory of its sources, with additional
   251   Build Poly/ML in the ROOT directory of its sources, with additional
   251   CONFIGURE_OPTIONS (e.g. --with-gmp).
   252   CONFIGURE_OPTIONS (e.g. --without-gmp).
   252 """,
   253 """,
   253           "M:" -> (arg => msys_root = Some(Path.explode(arg))),
   254           "M:" -> (arg => msys_root = Some(Path.explode(arg))),
   254           "m:" ->
   255           "m:" ->
   255             {
   256             {
   256               case "32" | "x86" => arch_64 = false
   257               case "32" | "x86" => arch_64 = false