summaryrefslogtreecommitdiff
path: root/examples/gadt-transfer/Makefile
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2011-03-05 22:25:03 +0000
committeraarne <aarne@chalmers.se>2011-03-05 22:25:03 +0000
commitf32307b39db77a937aa87b0cd455acc639665cd6 (patch)
tree17c89ce800d2b8db4991766aaf14457679e24178 /examples/gadt-transfer/Makefile
parentd9b5d3ed4d44705a4ea4be6fee2805c59ff0273e (diff)
added composOp generation to haskell-gadt, and an example in examples/gadt-transfer
Diffstat (limited to 'examples/gadt-transfer/Makefile')
-rw-r--r--examples/gadt-transfer/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/gadt-transfer/Makefile b/examples/gadt-transfer/Makefile
new file mode 100644
index 000000000..7399656f6
--- /dev/null
+++ b/examples/gadt-transfer/Makefile
@@ -0,0 +1,4 @@
+all:
+ gf -make -output-format=haskell --haskell=gadt FoodsEng.gf FoodsDut.gf
+ ghc --make VeryFoods.hs
+