From b801149fbf5c9eb3f73477d3496cdfd92cb178a1 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 12 Nov 2007 09:17:02 +0000
Subject: merged gfc and gfi to one binary, and a shell script for gfc

---
 src/Makefile | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 99a8c9304..13723371d 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -193,18 +193,12 @@ gfdoc: tools/$(GF_DOC_EXE)
 tools/$(GF_DOC_EXE): tools/GFDoc.hs
 	$(GHMAKE) $(GHCOPTFLAGS) -o $@ $^
 
-gfc:
-	$(GHMAKE) $(GHCOPTFLAGS) -o gfc GF/Devel/GFC.hs
-	strip gfc
-	mv gfc ../bin/
+gfc: gf3
 
-gfi:
-	$(GHMAKE) $(GHCOPTFLAGS) -o gfi GF/Devel/GFI.hs
-	strip gfi
-	mv gfi ../bin/
+gfi: gf3
 
 gf3:
-	$(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF3.hs
+	$(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF.hs
 	strip gf3
 	mv gf3 ../bin/
 
-- 
cgit v1.2.3