X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftptp_grafite%2FMakefile;h=4e4d316772c34cfa56a245b86aaa265612504e8b;hb=249d11773d32add20d665c4f8521b7380e4fec0a;hp=c5c6e63469782de7a2a249a92201a58ef040e3b1;hpb=894b08ca7d14aa7e31c35f3acb3903a1c3472a27;p=helm.git

diff --git a/components/tptp_grafite/Makefile b/components/tptp_grafite/Makefile
index c5c6e6346..4e4d31677 100644
--- a/components/tptp_grafite/Makefile
+++ b/components/tptp_grafite/Makefile
@@ -32,16 +32,16 @@ testall: tptp2grafite
 		cat $(TPTPDIR)/$$X | ./tptp2grafite || echo ERROR PARSING $$X;\
 	done
 
-generate:
-	for X in `cat unit_equality_problems`; do\
-		./tptp2grafite -tptppath $(TPTPDIR) $$X \
-		> ../../../matita/tests/TPTP/$$X.ma || echo Failed: $$X; \
+generate-%:
+	for X in `cat $*`; do\
+		./tptp2grafite -tptppath $(TPTPDIR) $$X.p \
+		> ../../matita/tests/TPTP/$$X.ma || echo Failed: $$X; \
 	done
 
-parse:
-	for X in `cat unit_equality_problems`; do\
+parse-%:
+	for X in `cat $*`; do\
 	  echo "Parsing $$X"; \
-		./tptp2grafite -tptppath $(TPTPDIR) $$X \
+		./tptp2grafite -tptppath $(TPTPDIR) $$X.p \
 		> /dev/null || echo Failed: $$X; \
 	done