author wenzelm
Thu, 08 Nov 2018 16:18:12 +0100
changeset 69268 c1a27fce2076
parent 69267 lib/Tools/ghc@517655a528fe
child 69929 b979e3044d8e
permissions -rwxr-xr-x
clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;

#!/usr/bin/env bash
# Author: Makarius
# Invoke ghc via "stack".

if [ -d "$ISABELLE_STACK_ROOT" ]; then
  isabelle_stack ghc -- "$@"
  echo "Cannot execute ghc: missing Isabelle GHC setup" >&2
  exit 127