From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 29 Jun 2009 10:16:17 +0000 (+0000)
Subject: new make test target
X-Git-Tag: make_still_working~3778
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9611da1d5568a3dbc32354f0410254752e4aa613;p=helm.git

new make test target
---

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 6d2649785..90f9bc28f 100644
--- 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
diff --git a/helm/software/components/binaries/matitaprover/casc_2008 b/helm/software/components/binaries/matitaprover/casc_2008
new file mode 100644
index 000000000..7c4c4960e
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/casc_2008
@@ -0,0 +1,10 @@
+BOO007-2 BOO007-4 BOO031-1 BOO034-1 BOO072-1 BOO073-1 BOO076-1 COL003-1
+COL003-12 COL003-20 COL006-6 COL011-1 COL037-1 COL038-1 COL043-3 COL044-8
+COL046-1 COL049-1 COL057-1 COL060-1 COL061-1 COL063-1 COL064-1 COL065-1
+GRP014-1 GRP024-5 GRP114-1 GRP164-2 GRP167-1 GRP178-2 GRP181-4 GRP183-4
+GRP184-1 GRP184-3 GRP185-2 GRP185-3 GRP186-1 GRP186-2 GRP187-1 GRP200-1
+GRP202-1 GRP404-1 GRP405-1 GRP422-1 GRP423-1 GRP444-1 GRP452-1 GRP453-1
+GRP471-1 GRP477-1 GRP506-1 GRP508-1 LAT080-1 LAT087-1 LAT093-1 LAT138-1
+LAT140-1 LAT146-1 LAT148-1 LAT152-1 LAT156-1 LAT159-1 LAT164-1 LAT165-1
+LAT166-1 LAT169-1 LAT170-1 LAT173-1 LAT175-1 RNG009-7 RNG019-6 RNG019-7
+RNG020-6 RNG026-6 RNG027-7 RNG028-9 RNG029-7 RNG035-7 ROB006-1 ROB006-2