prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;
authorwenzelm
Wed Mar 20 22:01:12 2019 +0100 (3 months ago)
changeset 6993131ee094dea3d
parent 69930 b5286c564861
child 69932 56c51f8a118b
prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 20 21:57:02 2019 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 20 22:01:12 2019 +0100
     1.3 @@ -295,14 +295,14 @@
     1.4        List(
     1.5          Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
     1.6            options = "-m32 -M4" +
     1.7 -            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
     1.8 +            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
     1.9              " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
    1.10              " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
    1.11            args = "-a",
    1.12            detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")),
    1.13          Remote_Build("Windows", "vmnipkow9", historic = true, history = 90, self_update = true,
    1.14            options = "-m64 -M4" +
    1.15 -            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
    1.16 +            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
    1.17              " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
    1.18              " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
    1.19            args = "-a",