matita/matita/lib/Makefile

   1 all:
   2         touch extraction.ma
   3         EXTRACT_HASKELL=1 ../matitac extraction.ma 2> /tmp/foo.hs
   4         cat preamble.hs /tmp/foo.hs > extraction.hs
   5
   6 .PHONY: all
   7
   8 # ghci extraction.hs
   9 # Syntax for datatypes: data Foo = Zero | Succ Foo Foo