diff -r 22ae1d926f96 -r 1722cc56d22e lib/Tools/ghc
--- a/lib/Tools/ghc	Wed Oct 17 22:36:51 2018 +0200
+++ b/lib/Tools/ghc	Wed Oct 17 22:41:59 2018 +0200
@@ -4,4 +4,9 @@
 #
 # DESCRIPTION: invoke Glasgow Haskell Compiler within the Isabelle environment
 
-isabelle_stack ghc -- "$@"
+if [ -d "$ISABELLE_STACK_ROOT" ]; then
+  isabelle_stack ghc -- "$@"
+else
+  exit 127
+fi
+