From 529374caaa6d451400f57f1ff82106d89d603944 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 21 May 2008 09:46:30 +0000
Subject: added Readline to GF3 shell (in the same way as GF2, using GFCFLAGS
 in Makefile)

---
 src-3.0/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src-3.0/Makefile')

diff --git a/src-3.0/Makefile b/src-3.0/Makefile
index 421409280..53c648908 100644
--- a/src-3.0/Makefile
+++ b/src-3.0/Makefile
@@ -207,7 +207,7 @@ gfc: gf3
 gfi: gf3
 
 gf3:
-	$(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF.hs
+	$(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF/Devel/GF.hs
 	strip $(GF3_EXE)
 	mv $(GF3_EXE) ../bin/
 
-- 
cgit v1.2.3