From 7051331c20d5a9f1eaf5f9f25bca2891f9277370 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 4 Dec 2007 11:07:39 +0000
Subject: test for new GF source format

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index bdb94401c..4f342324d 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -34,6 +34,7 @@ GF_EXE=gf$(EXEEXT)
 GF_EXE_TMP=gf-bin$(EXEEXT)
 GF_DOC_EXE=gfdoc$(EXEEXT)
 GF3_EXE=gf3$(EXEEXT)
+TESTGF3_EXE=testgf3$(EXEEXT)
 
 
 ifeq ("$(READLINE)","readline")
@@ -206,6 +207,11 @@ gf3:
 	strip $(GF3_EXE)
 	mv $(GF3_EXE) ../bin/
 
+testgf3:
+	$(GHMAKE) $(GHCOPTFLAGS) -o testgf3 GF/Devel/TestGF3.hs
+	strip $(TESTGF3_EXE)
+	mv $(TESTGF3_EXE) ../bin/
+
 gfcc2c:
 	$(MAKE) -C tools/c
 	$(MAKE) -C ../lib/c
-- 
cgit v1.2.3