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/getsettings
changeset 69930 b5286c564861
parent 69926 110fff287217
child 71342 d72d4a9316c9 
--- a/lib/scripts/getsettings	Wed Mar 20 21:54:08 2019 +0100
+++ b/lib/scripts/getsettings	Wed Mar 20 21:57:02 2019 +0100
@@ -105,8 +105,8 @@
 fi
 
 #enforce ISABELLE_GHC
-if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then
-  if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then
+if [ -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY" ]; then
+  if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY")" ]; then
     ISABELLE_GHC="$ISABELLE_HOME/lib/scripts/ghc"
     ISABELLE_GHC_STACK=true
   fi
isabelle