Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified errors;
authorwenzelm
Thu, 18 Oct 2018 12:35:32 +0200
changeset 69160 30c384e72749
parent 69159 7ff6284c0d84
child 69161 44e1c9f93755
clarified errors;
lib/Tools/ghc file | annotate | diff | comparison | revisions
lib/Tools/ghci file | annotate | diff | comparison | revisions 
--- a/lib/Tools/ghc	Thu Oct 18 12:30:26 2018 +0200
+++ b/lib/Tools/ghc	Thu Oct 18 12:35:32 2018 +0200
@@ -4,9 +4,9 @@
 #
 # DESCRIPTION: invoke Glasgow Haskell Compiler within the Isabelle environment
 
-if [ -d "$ISABELLE_STACK_ROOT" ]; then
+if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
   isabelle_stack ghc -- "$@"
 else
+  echo "Cannot execute ghc: missing Isabelle GHC setup" >&2
   exit 127
 fi
-
--- a/lib/Tools/ghci	Thu Oct 18 12:30:26 2018 +0200
+++ b/lib/Tools/ghci	Thu Oct 18 12:35:32 2018 +0200
@@ -4,8 +4,9 @@
 #
 # DESCRIPTION: invoke GHC interaction within the Isabelle environment
 
-if [ -d "$ISABELLE_STACK_ROOT" ]; then
+if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
   isabelle_stack ghci "$@"
 else
+  echo "Cannot execute ghci: missing Isabelle GHC setup" >&2
   exit 127
 fi
isabelle