equal
deleted
inserted
replaced
6 |
6 |
7 set -e |
7 set -e |
8 |
8 |
9 if [ -e "$ISABELLE_OPAM_ROOT/config" ] |
9 if [ -e "$ISABELLE_OPAM_ROOT/config" ] |
10 then |
10 then |
11 isabelle_opam switch "$ISABELLE_OCAML_VERSION" |
11 isabelle_opam switch create "ocaml-base-compiler.$ISABELLE_OCAML_VERSION" |
12 else |
12 else |
13 isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION" |
13 isabelle_opam init --disable-sandboxing --no-setup --compiler="ocaml-base-compiler.$ISABELLE_OCAML_VERSION" |
14 fi |
14 fi |
15 |
15 |
16 isabelle_opam install zarith -y |
16 isabelle_opam install zarith -y |