helm/software/components/binaries/matitaprover/Makefile

   1 DATE=$(shell date +%y%m%d)
   2
   3 all:
   4         ocamlbuild matitaprover.native
   5
   6 clean:
   7         ocamlbuild -clean
   8
   9 test: all
  10         for X in `cat casc_2008`; do echo $$X; echo $$X>>log.$(DATE); ./matitaprover.native --tptppath TPTP-v3.7.0 $$X.p >> log.$(DATE) 2>&1; done