| changeset 69928 | 3ed262d72468 |
| parent 69924 | 512ac874bb9d |
| child 69936 | 772bdd1ed843 |
| 69927:f387618d9053 | 69928:3ed262d72468 |
|---|---|
11 isabelle_opam switch "$ISABELLE_OCAML_VERSION" |
11 isabelle_opam switch "$ISABELLE_OCAML_VERSION" |
12 else |
12 else |
13 isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION" |
13 isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION" |
14 fi |
14 fi |
15 |
15 |
16 isabelle_opam install zarith |
16 isabelle_opam install zarith -y |