From f0566a48dddcbb20b5ca8fecfa8891daf14fd9fc Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Thu, 9 Aug 2018 10:19:48 +0200 Subject: [PATCH] Re-specify `--gf-lib-path` in Make.hs, seems to be needed sometimes --- Make.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Make.hs b/Make.hs index 98e5a540..e97b7f9d 100644 --- a/Make.hs +++ b/Make.hs @@ -409,7 +409,8 @@ gfcn bi mode summary files = do run_gfc :: Info -> [String] -> IO () run_gfc bi args = do let - args' = ["--batch", "--quiet"] ++ filter (not . null) args + dir = infoBuildDir bi + args' = ["--batch", "--quiet", "--gf-lib-path="++dir] ++ filter (not . null) args gf = infoGFPath bi execute gf args'