more robust "switch create";
authorwenzelm
Thu Mar 21 13:34:37 2019 +0100 (5 weeks ago)
changeset 69936772bdd1ed843
parent 69935 11d0fdb29ebc
child 69937 afbc075fd2da
more robust "switch create";
disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
lib/Tools/ocaml_setup
     1.1 --- a/lib/Tools/ocaml_setup	Thu Mar 21 12:41:58 2019 +0100
     1.2 +++ b/lib/Tools/ocaml_setup	Thu Mar 21 13:34:37 2019 +0100
     1.3 @@ -8,9 +8,9 @@
     1.4  
     1.5  if [ -e "$ISABELLE_OPAM_ROOT/config" ]
     1.6  then
     1.7 -  isabelle_opam switch "$ISABELLE_OCAML_VERSION"
     1.8 +  isabelle_opam switch create "ocaml-base-compiler.$ISABELLE_OCAML_VERSION"
     1.9  else
    1.10 -  isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    1.11 +  isabelle_opam init --disable-sandboxing --no-setup --compiler="ocaml-base-compiler.$ISABELLE_OCAML_VERSION"
    1.12  fi
    1.13  
    1.14  isabelle_opam install zarith -y