summaryrefslogtreecommitdiff
path: root/src/tools/c/Makefile
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2006-12-22 13:43:32 +0000
committerbringert <bringert@cs.chalmers.se>2006-12-22 13:43:32 +0000
commit7abd4c00a225a9a61c1207617211e846464262d2 (patch)
tree0efaa13f54782339bfcfb46caebffeed848357da /src/tools/c/Makefile
parenta335b29c0a85ea81ee1017f18dd6f2595d2a5227 (diff)
Added gfcc2c to GF repo.
Diffstat (limited to 'src/tools/c/Makefile')
-rw-r--r--src/tools/c/Makefile25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/tools/c/Makefile b/src/tools/c/Makefile
new file mode 100644
index 000000000..189b224e2
--- /dev/null
+++ b/src/tools/c/Makefile
@@ -0,0 +1,25 @@
+GHC = ghc
+GHCFLAGS =
+
+.PHONY: all gfcc2c clean
+
+all: gfcc2c
+
+gfcc2c:
+ $(GHC) $(GHCFLAGS) --make -o $@ gfcc2c.hs
+
+bnfc:
+ bnfc -gadt -d ../../GF/Canon/GFCC/GFCC.cf
+ -rm -f GFCC/Doc.tex GFCC/Skel.hs
+ happy -gca GFCC/Par.y
+ alex -g GFCC/Lex.x
+
+clean:
+ -rm -f gfcc2c
+ -rm -f *.o *.hi
+ -rm -f GFCC/*.hi GFCC/*.o
+
+bnfcclean: clean
+ -rm -f GFCC/*.bak
+ -rm -f GFCC/Lex.* GFCC/Par.* GFCC/Layout.* GFCC/Skel.* GFCC/Print.* GFCC/Test.* GFCC/Abs.* GFCC/ComposOp.* GFCC/Test GFCC/ErrM.* GFCC/SharedString.*
+ -rmdir -p GFCC/