Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/ghc
changeset 69929 b979e3044d8e
parent 69268 c1a27fce2076
child 69949 a7a0115061ec 
--- a/lib/scripts/ghc	Wed Mar 20 21:15:20 2019 +0100
+++ b/lib/scripts/ghc	Wed Mar 20 21:54:08 2019 +0100
@@ -4,7 +4,7 @@
 #
 # Invoke ghc via "stack".
 
-if [ -d "$ISABELLE_STACK_ROOT" ]; then
+if [ -e "$ISABELLE_STACK_ROOT/config.yaml" ]; then
   isabelle_stack ghc -- "$@"
 else
   echo "Cannot execute ghc: missing Isabelle GHC setup" >&2
isabelle