From 3ce7d2ca18d9a00e150b1e03b32b59a1249ad6ba Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Mon, 9 May 2005 14:29:25 +0000
Subject: [PATCH] Use GHCFLAGS when compiling for windows.

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

diff --git a/src/Makefile b/src/Makefile
index 1ef11a6a4..3d6112b5b 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -33,9 +33,9 @@ temp: today touch-files noopt
 
 
 build: 
-	$(GHMAKE) $(GHCFLAGS) GF.hs -o gf-bin
-	strip gf-bin
-	mv gf-bin ../bin/gf
+	$(GHMAKE) $(GHCFLAGS) GF.hs -o gf
+	strip gf
+	mv gf ../bin/gf
 
 opt: GHCFLAGS += $(GHCOPTFLAGS)
 opt: build
@@ -55,15 +55,15 @@ gft:
 	mv gft-bin ../bin/gft
 
 justwindows:
-	$(GHMAKE) $(GHCOPTFLAGS) GF.hs -o gf.exe
+	$(GHMAKE) $(GHCFLAGS) $(GHCOPTFLAGS) GF.hs -o gf.exe
 	strip gf.exe
 	mv gf.exe ../bin/
 
 api: 
-	$(GHMAKE) $(GHCFLAGS) GF/API.hs
+	$(GHMAKE) $(GHCFLAGS) $(GHCOPTFLAGS)GF/API.hs
 
 shell: 
-	$(GHMAKE) $(GHCFLAGS) GF/Shell.hs
+	$(GHMAKE) $(GHCFLAGS) $(GHCOPTFLAGS) GF/Shell.hs
 
 clean: 
 	-rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~