| changeset 73405 | 8510c6e98228 |
| parent 69948 | a591de179931 |
| child 81825 | c551d4a418b9 |
--- 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