new make test target

[helm.git] / helm / software / components / binaries / matitaprover / Makefile

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 6d26497859b47b15f3b3b81c6de0935861bb2a46..90f9bc28f1778fa065d5522d5603db4354164c6f 100644 (file)
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -1,5 +1,10 @@
+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