wenzelm@69135: #!/usr/bin/env bash
wenzelm@69135: #
wenzelm@69135: # Author: Makarius
wenzelm@69135: #
wenzelm@69149: # DESCRIPTION: setup OCaml setup via OPAM
wenzelm@69135: 
wenzelm@69139: if [ -d "$ISABELLE_OPAM_ROOT" ]
wenzelm@69139: then
wenzelm@69139:   isabelle_opam switch "$ISABELLE_OCAML_VERSION"
wenzelm@69139: else
wenzelm@69139:   isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
wenzelm@69139: fi