+ rm -f tptp2grafite *.cmo *.cmi parser.mli parser.ml lexer.ml rm *.output
+
+test: tptp2grafite
+ cat $(TPTPDIR)/`head -n 1 unit_equality_problems` | ./tptp2grafite
+
+testall: tptp2grafite
+ for X in `cat unit_equality_problems`; do\
+ cat $(TPTPDIR)/$$X | ./tptp2grafite || echo ERROR PARSING $$X;\
+ done
+
+generate:
+ for X in `cat unit_equality_problems`; do\
+ ./tptp2grafite -tptppath /home/tassi/TPTP-v3.1.1/ $$X \
+ > ../../../matita/tests/TPTP/$$X.ma || echo Failed: $$X; \
+ done
+
+parse:
+ for X in `cat unit_equality_problems`; do\
+ echo "Parsing $$X"; \
+ ./tptp2grafite -tptppath /home/tassi/TPTP-v3.1.1/ $$X \
+ > /dev/null || echo Failed: $$X; \
+ done