# HG changeset patch # User desharna # Date 1613125304 -3600 # Node ID dcf295994c906b089556876ffd329d6dbdab245b # Parent a34b49841585d8b5c904437a935a951ebf65768f# Parent 62b6bc153b8429576138ac36d187b444998068e4 merged diff -r a34b49841585 -r dcf295994c90 src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Fri Feb 12 11:18:44 2021 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Fri Feb 12 11:21:44 2021 +0100 @@ -345,7 +345,8 @@ " -e ISABELLE_MLTON=/usr/local/bin/mlton" + " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" + " -e ISABELLE_SWIPL=/usr/local/bin/swipl", - self_update = true, args = "-a -d '~~/src/Benchmarks'"), + self_update = true, args = "-a -d '~~/src/Benchmarks'")), + List( Remote_Build("macOS 10.14 Mojave", "mini2", options = "-m32 -B -M1x2,2,4 -p pide_session=false" + " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +