lib/Tools/ocaml_setup
changeset 69911 036037573080
parent 69500 db001bc11855
child 69924 512ac874bb9d
     1.1 --- a/lib/Tools/ocaml_setup	Thu Mar 14 13:54:31 2019 +0000
     1.2 +++ b/lib/Tools/ocaml_setup	Thu Mar 14 19:06:40 2019 +0100
     1.3 @@ -4,9 +4,13 @@
     1.4  #
     1.5  # DESCRIPTION: setup OCaml via OPAM
     1.6  
     1.7 +set -e
     1.8 +
     1.9  if [ -d "$ISABELLE_OPAM_ROOT" ]
    1.10  then
    1.11    isabelle_opam switch "$ISABELLE_OCAML_VERSION"
    1.12  else
    1.13    isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    1.14  fi
    1.15 +
    1.16 +isabelle_opam install zarith