lib/Tools/ocaml_setup
author wenzelm
Wed Nov 07 21:42:16 2018 +0100 (9 months ago)
changeset 69255 800b1ce96fce
parent 69149 8c501c406d24
child 69500 db001bc11855
permissions -rwxr-xr-x
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
wenzelm@69135
     1
#!/usr/bin/env bash
wenzelm@69135
     2
#
wenzelm@69135
     3
# Author: Makarius
wenzelm@69135
     4
#
wenzelm@69149
     5
# DESCRIPTION: setup OCaml setup via OPAM
wenzelm@69135
     6
wenzelm@69139
     7
if [ -d "$ISABELLE_OPAM_ROOT" ]
wenzelm@69139
     8
then
wenzelm@69139
     9
  isabelle_opam switch "$ISABELLE_OCAML_VERSION"
wenzelm@69139
    10
else
wenzelm@69139
    11
  isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
wenzelm@69139
    12
fi