lib/Tools/ocaml_setup
changeset 69948 a591de179931
parent 69942 2c48be88f847
child 73405 8510c6e98228
equal deleted inserted replaced
69944:ab8aad4aa76e 69948:a591de179931
     4 #
     4 #
     5 # DESCRIPTION: setup OCaml via OPAM
     5 # DESCRIPTION: setup OCaml via OPAM
     6 
     6 
     7 set -e
     7 set -e
     8 
     8 
     9 if [ -e "$ISABELLE_OPAM_ROOT/config" ]
     9 if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]
    10 then
    10 then
    11   isabelle_opam switch reinstall -y "$ISABELLE_OCAML_VERSION"
    11   isabelle_opam switch -y "$ISABELLE_OCAML_VERSION"
       
    12 elif [ -e "$ISABELLE_OPAM_ROOT/config" ]
       
    13 then
       
    14   isabelle_opam switch create -y "$ISABELLE_OCAML_VERSION"
    12 else
    15 else
    13   isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    16   isabelle_opam init -y --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    14 fi
    17 fi
    15 
    18 
    16 isabelle_opam install zarith -y
    19 isabelle_opam install -y zarith