further robustification (amending 772bdd1ed843);
authorwenzelm
Thu Mar 21 16:16:43 2019 +0100 (3 months ago)
changeset 699422c48be88f847
parent 69941 423c0b571f1e
child 69944 ab8aad4aa76e
further robustification (amending 772bdd1ed843);
lib/Tools/ocaml_setup
     1.1 --- a/lib/Tools/ocaml_setup	Thu Mar 21 15:51:04 2019 +0100
     1.2 +++ b/lib/Tools/ocaml_setup	Thu Mar 21 16:16:43 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 create "$ISABELLE_OCAML_VERSION"
     1.8 +  isabelle_opam switch reinstall -y "$ISABELLE_OCAML_VERSION"
     1.9  else
    1.10 -  isabelle_opam init --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    1.11 +  isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    1.12  fi
    1.13  
    1.14  isabelle_opam install zarith -y