matita/matita/lib/Makefile

   1 #TARGET= extraction2.ma
   2 #TARGET= extraction3.ma
   3 #TARGET= basics/logic.ma
   4 #TARGET= basics/types.ma
   5 #TARGET= basics/deqsets.ma
   6 #TARGET= basics/lists/list.ma
   7 #TARGET= arithmetics/nat.ma
   8 TARGET= turing/multi_universal/universal.ma
   9
  10 all:
  11         touch $(TARGET)
  12         #EXTRACT_HASKELL=1 ../matitac $(TARGET) 2> /tmp/foo.hs
  13         #cat preamble.hs /tmp/foo.hs > extraction.hs
  14         EXTRACT_OCAML=1 ../matitac $(TARGET)
  15
  16 opt:
  17         touch $(TARGET)
  18         #EXTRACT_HASKELL=1 ../matitac.opt $(TARGET) 2> /tmp/foo.hs
  19         #cat preamble.hs /tmp/foo.hs > extraction.hs
  20         EXTRACT_OCAML=1 ../matitac.opt $(TARGET)
  21
  22 .PHONY: all opt
  23
  24 # ghci extraction.hs
  25 # Syntax for datatypes: data Foo = Zero | Succ Foo Foo