From ca6198dc98693face400d25364d21ae9bedf12df Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 12 Nov 2007 16:17:04 +0000
Subject: Use configure to produce a gfc script with the correct path to gf3.
 NOTE: you need to re-run autoconf after pulling this patch.

---
 src/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 13723371d..b7970d3f4 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -194,6 +194,8 @@ tools/$(GF_DOC_EXE): tools/GFDoc.hs
 	$(GHMAKE) $(GHCOPTFLAGS) -o $@ $^
 
 gfc: gf3
+	cp -f gfc ../bin/
+	chmod a+x ../bin/gfc
 
 gfi: gf3
 
-- 
cgit v1.2.3