EXTRA_OBJECTS_TO_INSTALL =
EXTRA_OBJECTS_TO_CLEAN =
-TPTPDIR=/home/$(USER)/TPTP-v3.1.1/
+TPTPDIR= /home/$(USER)/work-area/TPTP-v3.2.0/
all: tptp2grafite
clean: clean_tests
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\
+ngenerate-%:
+ for X in `cat $*`; do\
+ ./tptp2grafite -ng -tptppath $(TPTPDIR) $$X.p \
+ > ../../matita/contribs/ng_TPTP/$$X.ma || echo Failed: $$X; \
+ done
+
+parse-%:
+ for X in `cat $*`; do\
echo "Parsing $$X"; \
- ./tptp2grafite -tptppath $(TPTPDIR) $$X \
+ ./tptp2grafite -tptppath $(TPTPDIR) $$X.p \
> /dev/null || echo Failed: $$X; \
done