DATE=$(shell date +%y%m%d)

all:
	ocamlbuild matitaprover.native

clean:
	ocamlbuild -clean

test: all
	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