diff options
Diffstat (limited to 'src/GF/Source/Makefile')
| -rw-r--r-- | src/GF/Source/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Source/Makefile b/src/GF/Source/Makefile index 50463c796..a07f78ba5 100644 --- a/src/GF/Source/Makefile +++ b/src/GF/Source/Makefile @@ -1,6 +1,7 @@ all: cd ../.. && bnfc -p GF.Source -bytestrings -sharestrings 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 |