lib/scripts/getsettings

--- a/lib/scripts/getsettings	Mon Dec 10 22:38:03 2018 +0100
+++ b/lib/scripts/getsettings	Mon Dec 10 23:03:20 2018 +0100
@@ -113,6 +113,7 @@
 if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then
   if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then
     ISABELLE_GHC="$ISABELLE_HOME/lib/scripts/ghc"
+    ISABELLE_GHC_STACK=true
   fi
 fi