equal
deleted
inserted
replaced
11 isabelle_opam switch -y "$ISABELLE_OCAML_VERSION" |
11 isabelle_opam switch -y "$ISABELLE_OCAML_VERSION" |
12 elif [ -e "$ISABELLE_OPAM_ROOT/config" ] |
12 elif [ -e "$ISABELLE_OPAM_ROOT/config" ] |
13 then |
13 then |
14 isabelle_opam switch create -y "$ISABELLE_OCAML_VERSION" |
14 isabelle_opam switch create -y "$ISABELLE_OCAML_VERSION" |
15 else |
15 else |
|
16 mkdir -p "$ISABELLE_OPAM_ROOT" |
|
17 cd "$ISABELLE_OPAM_ROOT" |
16 isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION" |
18 isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION" |
17 fi |
19 fi |
18 |
20 |
19 isabelle_opam install -y zarith |
21 isabelle_opam install -y zarith |