diff options
| author | aarne <aarne@chalmers.se> | 2010-03-02 19:10:56 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-02 19:10:56 +0000 |
| commit | e4748e998453b979af46983a079f2ec3d307ada4 (patch) | |
| tree | ef1c2b278850a7f6a95959b6f18469645cf1094c /examples/gfcc/Makefile | |
| parent | 21b10f91cbbd0a2d369dc55306bad53df1502cd7 (diff) | |
restored gfcc example (GF C compiler)
Diffstat (limited to 'examples/gfcc/Makefile')
| -rw-r--r-- | examples/gfcc/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/gfcc/Makefile b/examples/gfcc/Makefile new file mode 100644 index 000000000..d260049fa --- /dev/null +++ b/examples/gfcc/Makefile @@ -0,0 +1,12 @@ +all: pgf runtime + +pgf: + gf -make ImperC.gf ImperJVM.gf + +runtime: + java -jar jasmin.jar runtime.j + +doc: + pdflatex complin.tex + pdflatex complin.tex + |