lib/Tools/ghc_setup
changeset 69930 b5286c564861
parent 69500 db001bc11855
     1.1 --- a/lib/Tools/ghc_setup	Wed Mar 20 21:54:08 2019 +0100
     1.2 +++ b/lib/Tools/ghc_setup	Wed Mar 20 21:57:02 2019 +0100
     1.3 @@ -8,4 +8,4 @@
     1.4  
     1.5  isabelle_stack setup
     1.6  isabelle_stack ghc -- --version
     1.7 -echo -n "$(standard_path "$(isabelle_stack path --programs)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS"
     1.8 +echo -n "$(standard_path "$(isabelle_stack path --compiler-exe)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY"