wenzelm@69151: #!/usr/bin/env bash wenzelm@69151: # wenzelm@69151: # Author: Makarius wenzelm@69151: # wenzelm@69151: # DESCRIPTION: invoke Glasgow Haskell Compiler within the Isabelle environment wenzelm@69151: wenzelm@69160: if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then wenzelm@69267: isabelle_stack ghc -- "$@" wenzelm@69158: else wenzelm@69160: echo "Cannot execute ghc: missing Isabelle GHC setup" >&2 wenzelm@69158: exit 127 wenzelm@69158: fi