diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-14 16:23:23 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-14 16:23:23 +0000 |
| commit | 14dfbcc624dadffcb54e58cbb26f3af24b77595a (patch) | |
| tree | 980f52c77f0f9bb55242aee874fcc7dc88979870 /src/GF/Source/Makefile | |
| parent | 9f3534b3bb4e6bc45301b0ddb9468ca721b3dc17 (diff) | |
clean up the GF.Grammar API
Diffstat (limited to 'src/GF/Source/Makefile')
| -rw-r--r-- | src/GF/Source/Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
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 |