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.
proper path;
authorwenzelm
Wed, 17 Oct 2018 22:21:01 +0200
changeset 69156 e8ef77b7e1a0
parent 69155 12ff5e476752
child 69157 22ae1d926f96
proper path;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getsettings	Wed Oct 17 22:10:45 2018 +0200
+++ b/lib/scripts/getsettings	Wed Oct 17 22:21:01 2018 +0200
@@ -111,7 +111,7 @@
 
 #enforce ISABELLE_GHC
 if [ -d "$ISABELLE_STACK_ROOT" ]; then
-  if [ -f "$(isabelle_stack path --programs)/$ISABELLE_GHC_VERSION/ghc" ]; then
+  if [ -f "$(isabelle_stack path --programs)/$ISABELLE_GHC_VERSION/bin/ghc" ]; then
     ISABELLE_GHC="$ISABELLE_HOME/lib/Tools/ghc"
   fi
 fi
isabelle