OCAMLC = OCAMLPATH=../../METAS ocamlfind ocamlc -package helm-grafite_parser
-TPTPDIR=/home/tassi/helm/trunk/TPTP-v3.1.1/
+TPTPDIR=/home/$(USER)/TPTP-v3.1.1/
opt all: tptp2grafite
echo -n
generate:
for X in `cat unit_equality_problems`; do\
- ./tptp2grafite -tptppath /home/tassi/TPTP-v3.1.1/ $$X \
+ ./tptp2grafite -tptppath $(TPTPDIR) $$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 \
+ ./tptp2grafite -tptppath $(TPTPDIR) $$X \
> /dev/null || echo Failed: $$X; \
done