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.
more robust: allow empty root (e.g. via symlink);
authorwenzelm
Wed, 20 Mar 2019 21:54:08 +0100
changeset 69929 b979e3044d8e
parent 69928 3ed262d72468
child 69930 b5286c564861
more robust: allow empty root (e.g. via symlink);
lib/scripts/ghc file | annotate | diff | comparison | revisions 
--- 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