lib/Tools/ocaml_setup
author wenzelm
Thu Mar 21 14:54:25 2019 +0100 (4 months ago)
changeset 69938 564985d6867e
parent 69936 772bdd1ed843
child 69942 2c48be88f847
permissions -rwxr-xr-x
proper ISABELLE_OCAML_VERSION;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: setup OCaml via OPAM
     6 
     7 set -e
     8 
     9 if [ -e "$ISABELLE_OPAM_ROOT/config" ]
    10 then
    11   isabelle_opam switch create "$ISABELLE_OCAML_VERSION"
    12 else
    13   isabelle_opam init --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    14 fi
    15 
    16 isabelle_opam install zarith -y