finished semantics for termination of match machine

[helm.git] / matita / matita / lib / Makefile

diff --git a/matita/matita/lib/Makefile b/matita/matita/lib/Makefile
index f463d32e92ddf8bdd988b8c6f7f46488b744493f..b7d95a5fc22a6fbf2eef0e175c6b5e16d09c7e88 100644 (file)
--- a/matita/matita/lib/Makefile
+++ b/matita/matita/lib/Makefile
@@ -1,8 +1,9 @@
 all:
        touch extraction.ma
-       EXTRACT_HASKELL=1 ~/unison_homes/mowgli/matita1.0-reallyfresh/matita/matitac extraction.ma 2> /tmp/foo.hs
+       EXTRACT_HASKELL=1 ../matitac extraction.ma 2> /tmp/foo.hs
        cat preamble.hs /tmp/foo.hs > extraction.hs
 
 .PHONY: all
 
 # ghci extraction.hs
+# Syntax for datatypes: data Foo = Zero | Succ Foo Foo