src/Tools/Code/code_haskell.ML
changeset 41940 a3b68a7a0e15
parent 41343 71f4f15258a5
child 41952 c7297638599b
     1.1 --- a/src/Tools/Code/code_haskell.ML	Sun Mar 13 13:57:20 2011 +0100
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Sun Mar 13 14:51:38 2011 +0100
     1.3 @@ -453,8 +453,9 @@
     1.4    Code_Target.add_target
     1.5      (target, { serializer = serializer, literals = literals,
     1.6        check = { env_var = "EXEC_GHC", make_destination = I,
     1.7 -        make_command = fn ghc => fn module_name =>
     1.8 -          ghc ^ " -fglasgow-exts -odir build -hidir build -stubdir build -e \"\" " ^ module_name ^ ".hs" } })
     1.9 +        make_command = fn module_name =>
    1.10 +          "\"$EXEC_GHC\" -fglasgow-exts -odir build -hidir build -stubdir build -e \"\" " ^
    1.11 +            module_name ^ ".hs" } })
    1.12    #> Code_Target.add_tyco_syntax target "fun" (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
    1.13        brackify_infix (1, R) fxy (
    1.14          print_typ (INFX (1, X)) ty1,