changeset 77171 | e0e9f1b4c844 |
parent 77163 | 7ceed24c88dc |
child 77368 | 7c57d9586f4c |
--- a/src/Pure/Admin/isabelle_cronjob.scala Wed Feb 01 15:39:48 2023 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Feb 01 20:07:13 2023 +0100 @@ -376,7 +376,7 @@ List( Remote_Build("AFP", "lrzcloud2", java_heap = "8g", - options = "-m32 -M1x6 -t AFP" + + options = "-m32 -M1x5 -t AFP" + " -e ISABELLE_GHC=ghc" + " -e ISABELLE_MLTON=mlton -e ISABELLE_MLTON_OPTIONS=" + " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +