- touch extraction.ma
- EXTRACT_HASKELL=1 ~/unison_homes/mowgli/matita1.0-reallyfresh/matita/matitac extraction.ma 2> /tmp/foo.hs
- cat preamble.hs /tmp/foo.hs > extraction.hs
+ touch $(TARGET)
+ #EXTRACT_HASKELL=1 ../matitac $(TARGET) 2> /tmp/foo.hs
+ #cat preamble.hs /tmp/foo.hs > extraction.hs
+ EXTRACT_OCAML=1 ../matitac $(TARGET)
+
+opt:
+ touch $(TARGET)
+ #EXTRACT_HASKELL=1 ../matitac.opt $(TARGET) 2> /tmp/foo.hs
+ #cat preamble.hs /tmp/foo.hs > extraction.hs
+ EXTRACT_OCAML=1 ../matitac.opt $(TARGET)