diff options
Diffstat (limited to 'examples/model/Makefile')
| -rw-r--r-- | examples/model/Makefile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/examples/model/Makefile b/examples/model/Makefile deleted file mode 100644 index e551142ac..000000000 --- a/examples/model/Makefile +++ /dev/null @@ -1,17 +0,0 @@ -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 - |