diff options
Diffstat (limited to 'examples/tutorial/embedded/Makefile_gfcc')
| -rw-r--r-- | examples/tutorial/embedded/Makefile_gfcc | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/examples/tutorial/embedded/Makefile_gfcc b/examples/tutorial/embedded/Makefile_gfcc new file mode 100644 index 000000000..257128e60 --- /dev/null +++ b/examples/tutorial/embedded/Makefile_gfcc @@ -0,0 +1,18 @@ +all: gf hs run + +gf: + echo "pm -printer=gfcc | wf math.gfcc" | gf MathEng.gf MathFre.gf + +hs: gf + echo "pg -printer=gfcc_haskell | wf GSyntax.hs" | gf MathEng.gf MathFre.gf + +run: hs + ghc --make -o ./mathc TransferLoopGFCC.hs + strip mathc + +clean: + rm -f *.gfc *.gfr *.o *.hi + +distclean: + rm -f GSyntax.hs math math.gfcc *.gfc *.gfr *.o *.hi + |