# HG changeset patch
# User wenzelm
# Date 1553355569 -3600
# Node ID 160fcaf502d7dea6c486b10c009dd33fca42fca2
# Parent  96905404ffba7dfc739d6a19d9c318598bba45b5
avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND;

diff -r 96905404ffba -r 160fcaf502d7 src/Pure/Admin/isabelle_cronjob.scala
--- 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,