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 -- analogous to ocamlfind;
authorwenzelm
Fri, 22 Mar 2019 11:23:17 +0100
changeset 69949 a7a0115061ec
parent 69948 a591de179931
child 69950 dbc2426a600d
more robust -- analogous to ocamlfind;
lib/scripts/ghc file | annotate | diff | comparison | revisions 
--- a/lib/scripts/ghc	Fri Mar 22 10:36:50 2019 +0100
+++ b/lib/scripts/ghc	Fri Mar 22 11:23:17 2019 +0100
@@ -4,7 +4,8 @@
 #
 # Invoke ghc via "stack".
 
-if [ -e "$ISABELLE_STACK_ROOT/config.yaml" ]; then
+if [ -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY" ]
+then
   isabelle_stack ghc -- "$@"
 else
   echo "Cannot execute ghc: missing Isabelle GHC setup" >&2
isabelle