changeset 80045 | 308ccc1ef982 |
parent 80007 | a4d94dd5c210 |
child 80402 | b8c5b23ce24c |
--- a/src/Pure/Admin/isabelle_cronjob.scala Wed Mar 27 22:12:37 2024 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Mar 27 22:56:03 2024 +0100 @@ -340,6 +340,7 @@ java_heap = "8g", options = "-m32 -M1x5 -p pide_session=false -t AFP" + " -e ISABELLE_GHC_SETUP=true" + + " -e ISABELLE_GO_SETUP=true" + " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" + " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl", args = "-a -d '~~/src/Benchmarks' -X large -X slow",