new snapshot

[helm.git] / components / tptp_grafite / Makefile

diff --git a/components/tptp_grafite/Makefile b/components/tptp_grafite/Makefile
index c5c6e63469782de7a2a249a92201a58ef040e3b1..4e4d316772c34cfa56a245b86aaa265612504e8b 100644 (file)
--- 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