proper path;
authorwenzelm
Wed Oct 17 22:21:01 2018 +0200 (14 months ago ago)
changeset 69156e8ef77b7e1a0
parent 69155 12ff5e476752
child 69157 22ae1d926f96
proper path;
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getsettings	Wed Oct 17 22:10:45 2018 +0200
     1.2 +++ b/lib/scripts/getsettings	Wed Oct 17 22:21:01 2018 +0200
     1.3 @@ -111,7 +111,7 @@
     1.4  
     1.5  #enforce ISABELLE_GHC
     1.6  if [ -d "$ISABELLE_STACK_ROOT" ]; then
     1.7 -  if [ -f "$(isabelle_stack path --programs)/$ISABELLE_GHC_VERSION/ghc" ]; then
     1.8 +  if [ -f "$(isabelle_stack path --programs)/$ISABELLE_GHC_VERSION/bin/ghc" ]; then
     1.9      ISABELLE_GHC="$ISABELLE_HOME/lib/Tools/ghc"
    1.10    fi
    1.11  fi