equal
deleted
inserted
replaced
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: invoke OCaml within the Isabelle environment |
5 # DESCRIPTION: invoke OCaml within the Isabelle environment |
6 |
6 |
7 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@" |
7 if [ -d "$ISABELLE_OPAM_ROOT" -a -n "$ISABELLE_OCAML" ] |
|
8 then |
|
9 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@" |
|
10 else |
|
11 echo "Cannot execute ocaml: missing Isabelle OCaml setup" >&2 |
|
12 exit 127 |
|
13 fi |