From 2ea966ba960e38ce61fab0141cf3d82ceec768a5 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 12 Nov 2007 16:18:01 +0000
Subject: [PATCH] Added install-gf3 target. Use EXEEXT to get correct gf3 file
 name on Windows.

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

diff --git a/src/Makefile b/src/Makefile
index b7970d3f4..bdb94401c 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -33,6 +33,8 @@ EMBED = GF/Embed/TemplateApp
 GF_EXE=gf$(EXEEXT)
 GF_EXE_TMP=gf-bin$(EXEEXT)
 GF_DOC_EXE=gfdoc$(EXEEXT)
+GF3_EXE=gf3$(EXEEXT)
+
 
 ifeq ("$(READLINE)","readline")
   GHCFLAGS += -package readline -DUSE_READLINE
@@ -201,8 +203,8 @@ gfi: gf3
 
 gf3:
 	$(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF.hs
-	strip gf3
-	mv gf3 ../bin/
+	strip $(GF3_EXE)
+	mv $(GF3_EXE) ../bin/
 
 gfcc2c:
 	$(MAKE) -C tools/c
@@ -284,6 +286,11 @@ install-gf:
 	$(INSTALL) -d $(bindir)
 	$(INSTALL) ../bin/$(GF_EXE) $(bindir)
 
+install-gf3:
+	$(INSTALL) -d $(bindir)
+	$(INSTALL) ../bin/$(GF3_EXE) $(bindir)
+	$(INSTALL) ../bin/gfc $(bindir)
+
 install-gfdoc: 
 	$(INSTALL) -d $(bindir)
 	$(INSTALL) tools/$(GF_DOC_EXE) $(bindir)