matita/matita/lib/Makefile

   1 all:
   2         touch extraction.ma
   3         EXTRACT_HASKELL=1 ~/unison_homes/mowgli/matita1.0-reallyfresh/matita/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