# HG changeset patch # User wenzelm # Date 1608762052 -3600 # Node ID 055f44891643d94c10d6d1f691f7762df7ab0ffb # Parent 6ead333e450d7dcbc05e26c4179d6933b5549c09 avoid memory problems on test machine; diff -r 6ead333e450d -r 055f44891643 src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Wed Dec 23 23:19:09 2020 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Dec 23 23:20:52 2020 +0100 @@ -372,7 +372,7 @@ Remote_Build("AFP", "lrzcloud2", actual_host = "10.195.4.41", self_update = true, proxy_host = "lxbroy10", proxy_user = "i21isatest", java_heap = "8g", - options = "-m32 -M1x8 -t AFP" + + options = "-m32 -M1x6 -t AFP" + " -e ISABELLE_GHC=ghc" + " -e ISABELLE_MLTON=mlton" + " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +