diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-02 13:42:24 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-02 13:42:24 +0000 |
| commit | 9e501521b4f88ebd5c5fb95e24af06d5be6ffe3a (patch) | |
| tree | 36bd1f8e9284ea9e9412bbc1c7a460cee58d5c26 /src/GF | |
| parent | 86a30ef99213670b305934a4d0976d458db7db97 (diff) | |
Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf.
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Source/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/GF/Source/Makefile b/src/GF/Source/Makefile new file mode 100644 index 000000000..50463c796 --- /dev/null +++ b/src/GF/Source/Makefile @@ -0,0 +1,6 @@ +all: + cd ../.. && bnfc -p GF.Source -bytestrings -sharestrings GF/Source/GF.cf + rm ErrM.hs + perl -i -pe 's/GF.Source.ErrM/GF.Data.ErrM/' *.hs *.x *.y + happy -gca ParGF.y + alex -g LexGF.x |