lib/Tools/ghci
author wenzelm
Wed Nov 07 21:42:16 2018 +0100 (9 months ago)
changeset 69255 800b1ce96fce
parent 69160 30c384e72749
child 69264 021ea2abf42d
permissions -rwxr-xr-x
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke GHC interaction within the Isabelle environment
     6 
     7 if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
     8   isabelle_stack ghci "$@"
     9 else
    10   echo "Cannot execute ghci: missing Isabelle GHC setup" >&2
    11   exit 127
    12 fi