# HG changeset patch
# User wenzelm
# Date 1615399404 -3600
# Node ID 8510c6e98228ce692b98722b54e4ff63d66d35e2
# Parent  299f6a8faccc3d35350894ca9b7204add7fa4015
more robust init: avoid spilling opam artifacts;

diff -r 299f6a8faccc -r 8510c6e98228 lib/Tools/ocaml_setup
--- a/lib/Tools/ocaml_setup	Tue Mar 09 21:11:05 2021 +0100
+++ b/lib/Tools/ocaml_setup	Wed Mar 10 19:03:24 2021 +0100
@@ -13,6 +13,8 @@
 then
   isabelle_opam switch create -y "$ISABELLE_OCAML_VERSION"
 else
+  mkdir -p "$ISABELLE_OPAM_ROOT"
+  cd "$ISABELLE_OPAM_ROOT"
   isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
 fi