more robust -- analogous to ocamlfind;
authorwenzelm
Fri Mar 22 11:23:17 2019 +0100 (3 months ago)
changeset 69949a7a0115061ec
parent 69948 a591de179931
child 69950 dbc2426a600d
more robust -- analogous to ocamlfind;
lib/scripts/ghc
     1.1 --- a/lib/scripts/ghc	Fri Mar 22 10:36:50 2019 +0100
     1.2 +++ b/lib/scripts/ghc	Fri Mar 22 11:23:17 2019 +0100
     1.3 @@ -4,7 +4,8 @@
     1.4  #
     1.5  # Invoke ghc via "stack".
     1.6  
     1.7 -if [ -e "$ISABELLE_STACK_ROOT/config.yaml" ]; then
     1.8 +if [ -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY" ]
     1.9 +then
    1.10    isabelle_stack ghc -- "$@"
    1.11  else
    1.12    echo "Cannot execute ghc: missing Isabelle GHC setup" >&2