avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND;
authorwenzelm
Sat Mar 23 16:39:29 2019 +0100 (2 months ago)
changeset 69955160fcaf502d7
parent 69954 96905404ffba
child 69956 800ec9074701
avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 23 15:17:32 2019 +0100
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 23 16:39:29 2019 +0100
     1.3 @@ -270,6 +270,7 @@
     1.4            options = "-m32 -M8" +
     1.5              " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
     1.6              " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
     1.7 +            " -e ISABELLE_OPAM_ROOT=\"$ISABELLE_HOME/opam\"" +
     1.8              " -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml",
     1.9            args = "-a",
    1.10            detect = Build_Log.Prop.build_tags.undefined,