From 2b1d5a4d513970308f47c735212cbc253ec40961 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 6 Nov 2007 14:44:17 +0000
Subject: Devel/GF3: experimentally putting together all functionalities for
 the first time

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 690b66cee..6cda7d458 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -203,6 +203,11 @@ gfcc:
 	strip gfcc
 	mv gfcc ../bin/
 
+gf3:
+	$(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF3.hs
+	strip gf3
+	mv gf3 ../bin/
+
 gfcc2c:
 	$(MAKE) -C tools/c
 	$(MAKE) -C ../lib/c
-- 
cgit v1.2.3