diff options
Diffstat (limited to 'examples/gfcc/compiler/makefile')
| -rw-r--r-- | examples/gfcc/compiler/makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/gfcc/compiler/makefile b/examples/gfcc/compiler/makefile new file mode 100644 index 000000000..754f77f51 --- /dev/null +++ b/examples/gfcc/compiler/makefile @@ -0,0 +1,12 @@ +GF=gf+ +SRC=../ + +all: compiler + +compiler: + echo "pm | wf Imper.gfcm ;; pg -lang=ImperC -printer=lbnf | 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 |