diff options
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 |