diff options
Diffstat (limited to 'examples/model/Makefile')
| -rw-r--r-- | examples/model/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/examples/model/Makefile b/examples/model/Makefile new file mode 100644 index 000000000..e551142ac --- /dev/null +++ b/examples/model/Makefile @@ -0,0 +1,17 @@ +all: gf hs run + +gf: + echo "pm | wf math.gfcm" | gf MathEng.gf MathFre.gf + +hs: gf + echo "pg -printer=haskell | wf GSyntax.hs" | gf math.gfcm + +run: hs + ghc --make -o math Run.hs + +clean: + rm -f *.gfc *.gfr *.o *.hi + +distclean: + rm -f GSyntax.hs math math.gfcm *.gfc *.gfr *.o *.hi + |