author | wenzelm |
Sat, 27 Nov 2021 14:55:47 +0100 | |
changeset 74855 | a5eb407ec867 |
parent 74854 | 014141670774 |
child 74856 | ae7912a42b9d |
--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Nov 27 14:31:11 2021 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Nov 27 14:55:47 2021 +0100 @@ -314,7 +314,7 @@ { List( List(Remote_Build("Linux A", "augsburg1", - options = "-m32 -B -M1x2,2,4" + + options = "-m32 -B -M4" + " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + " -e ISABELLE_GHC_SETUP=true" + " -e ISABELLE_MLTON=mlton" +