diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:54:35 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:54:35 +0000 |
| commit | e9e80fc389365e24d4300d7d5390c7d833a96c50 (patch) | |
| tree | f0b58473adaa670bd8fc52ada419d8cad470ee03 /examples/model/Makefile | |
| parent | b96b36f43de3e2f8b58d5f539daa6f6d47f25870 (diff) | |
changed names of resource-1.3; added a note on homepage on release
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 - |