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
wenzelm@69135
     1
#!/usr/bin/env bash
wenzelm@69135
     2
#
wenzelm@69135
     3
# Author: Makarius
wenzelm@69135
     4
#
wenzelm@69500
     5
# DESCRIPTION: setup OCaml via OPAM
wenzelm@69135
     6
haftmann@69911
     7
set -e
haftmann@69911
     8
wenzelm@69139
     9
if [ -d "$ISABELLE_OPAM_ROOT" ]
wenzelm@69139
    10
then
wenzelm@69139
    11
  isabelle_opam switch "$ISABELLE_OCAML_VERSION"
wenzelm@69139
    12
else
wenzelm@69139
    13
  isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
wenzelm@69139
    14
fi
haftmann@69911
    15
haftmann@69911
    16
isabelle_opam install zarith