From 14dfbcc624dadffcb54e58cbb26f3af24b77595a Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 14 Sep 2009 16:23:23 +0000 Subject: clean up the GF.Grammar API --- src/GF/Source/Makefile | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 src/GF/Source/Makefile (limited to 'src/GF/Source/Makefile') diff --git a/src/GF/Source/Makefile b/src/GF/Source/Makefile deleted file mode 100644 index 082efa5ef..000000000 --- a/src/GF/Source/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -all: - cd ../.. && bnfc -p GF.Source -bytestrings GF/Source/GF.cf - rm ErrM.hs - perl -i -pe 's/%name pModHeader ModHeader/%partial pModHeader ModHeader/' ParGF.y - perl -i -pe 's/GF.Source.ErrM/GF.Data.ErrM/' *.hs *.x *.y - happy -gca ParGF.y - alex -g LexGF.x -- cgit v1.2.3