diff options
Diffstat (limited to 'examples/gfcc/compiler/makefile')
| -rw-r--r-- | examples/gfcc/compiler/makefile | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/examples/gfcc/compiler/makefile b/examples/gfcc/compiler/makefile deleted file mode 100644 index c23fcc48d..000000000 --- a/examples/gfcc/compiler/makefile +++ /dev/null @@ -1,22 +0,0 @@ -GF=gf -SRC=../ - -all: parser gfcm runtime - -compiler: - echo "pm | wf Imper.gfcm ;; pg -lang=ImperC -printer=plbnf | wf ImperC.tmp" | $(GF) $(SRC)ImperC.gf $(SRC)ImperJVM.gf - echo "entrypoints Program, Stm, Exp ;" >entry.tmp - cat entry.tmp ImperC.tmp >ImperC.cf - bnfc -m -prof ImperC.cf - make -f Makefile - rm *.tmp - jasmin runtime.j - -parser: - ghc --make TestImperC.hs -o TestImperC - -gfcm: - echo "pm | wf Imper.gfcm" | $(GF) $(SRC)ImperC.gf $(SRC)ImperJVM.gf - -runtime: - jasmin runtime.j |