# HG changeset patch # User nipkow # Date 1553193986 -3600 # Node ID ab8aad4aa76e11e15da6b17a10de5e0cfa93eefc # Parent 2c48be88f84718fa75d0e09779dba679fcb7a26d# Parent deb05b4c48bacb832e7f97b0ecb1adefb80fca69 merged diff -r deb05b4c48ba -r ab8aad4aa76e lib/Tools/ocaml_setup --- a/lib/Tools/ocaml_setup Thu Mar 21 19:46:12 2019 +0100 +++ b/lib/Tools/ocaml_setup Thu Mar 21 19:46:26 2019 +0100 @@ -8,9 +8,9 @@ if [ -e "$ISABELLE_OPAM_ROOT/config" ] then - isabelle_opam switch create "$ISABELLE_OCAML_VERSION" + isabelle_opam switch reinstall -y "$ISABELLE_OCAML_VERSION" else - isabelle_opam init --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION" + isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION" fi isabelle_opam install zarith -y