lib/Tools/ocaml_setup
author haftmann
Thu Mar 14 19:06:40 2019 +0100 (5 weeks ago)
changeset 69911 036037573080
parent 69500 db001bc11855
child 69924 512ac874bb9d
permissions -rwxr-xr-x
include zarith in the default opam setup
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: setup OCaml via OPAM
     6 
     7 set -e
     8 
     9 if [ -d "$ISABELLE_OPAM_ROOT" ]
    10 then
    11   isabelle_opam switch "$ISABELLE_OCAML_VERSION"
    12 else
    13   isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    14 fi
    15 
    16 isabelle_opam install zarith