simplified -- according to regular "ghci" script;
authorwenzelm
Thu Nov 08 14:56:53 2018 +0100 (6 months ago)
changeset 69264021ea2abf42d
parent 69263 c546e37f6cb9
child 69265 bd215c56cd96
simplified -- according to regular "ghci" script;
lib/Tools/ghci
     1.1 --- a/lib/Tools/ghci	Thu Nov 08 14:48:20 2018 +0100
     1.2 +++ b/lib/Tools/ghci	Thu Nov 08 14:56:53 2018 +0100
     1.3 @@ -4,9 +4,4 @@
     1.4  #
     1.5  # DESCRIPTION: invoke GHC interaction within the Isabelle environment
     1.6  
     1.7 -if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
     1.8 -  isabelle_stack ghci "$@"
     1.9 -else
    1.10 -  echo "Cannot execute ghci: missing Isabelle GHC setup" >&2
    1.11 -  exit 127
    1.12 -fi
    1.13 +isabelle ghc --interactive "$@"