summaryrefslogtreecommitdiff
path: root/old-examples/model/Makefile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
commit5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch)
tree65da19829810b753345a5b2164bef2d8876268dd /old-examples/model/Makefile
parentf7b2a83059697f1b36a6369e489ac276e7ff875d (diff)
took away old-examples
Diffstat (limited to 'old-examples/model/Makefile')
-rw-r--r--old-examples/model/Makefile17
1 files changed, 0 insertions, 17 deletions
diff --git a/old-examples/model/Makefile b/old-examples/model/Makefile
deleted file mode 100644
index e551142ac..000000000
--- a/old-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
-