changeset 69955 | 160fcaf502d7 |
parent 69952 | 385458b950e1 |
child 70195 | e4abb5235c5e |
--- a/src/Pure/Admin/isabelle_cronjob.scala Sat Mar 23 15:17:32 2019 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Sat Mar 23 16:39:29 2019 +0100 @@ -270,6 +270,7 @@ options = "-m32 -M8" + " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" + " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" + + " -e ISABELLE_OPAM_ROOT=\"$ISABELLE_HOME/opam\"" + " -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml", args = "-a", detect = Build_Log.Prop.build_tags.undefined,