author | wenzelm |
Mon, 08 Nov 2021 13:51:24 +0100 | |
changeset 74732 | 015282fb3e31 |
parent 73405 | 8510c6e98228 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: setup OCaml via OPAM set -e if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ] then isabelle_opam switch -y "$ISABELLE_OCAML_VERSION" elif [ -e "$ISABELLE_OPAM_ROOT/config" ] then isabelle_opam switch create -y "$ISABELLE_OCAML_VERSION" else mkdir -p "$ISABELLE_OPAM_ROOT" cd "$ISABELLE_OPAM_ROOT" isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION" fi isabelle_opam install -y zarith