From 7abd4c00a225a9a61c1207617211e846464262d2 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 22 Dec 2006 13:43:32 +0000
Subject: Added gfcc2c to GF repo.

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index f6458543f..856e668a2 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -112,6 +112,9 @@ clean:
 	-rm -f $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.class
 	-rm -f gf.wixobj
 	-rm -f ../bin/$(GF_EXE)
+	$(MAKE) -C tools/c clean
+	$(MAKE) -C ../lib/c clean
+	-rm -f ../bin/gfcc2c
 
 distclean: clean
 	-rm -f JavaGUI/gf-java.jar jgf
@@ -182,6 +185,12 @@ gfcc:
 	$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/RunGFCC.hs
 	strip gfcc
 	mv gfcc ../bin/
+
+gfcc2c:
+	$(MAKE) -C tools/c
+	$(MAKE) -C ../lib/c
+	mv tools/c/gfcc2c ../bin
+
 #
 # Distribution
 #
-- 
cgit v1.2.3