matita gtk3: some bugs fixed

[helm.git] / helm / software / components / tptp_grafite / Makefile

diff --git a/helm/software/components/tptp_grafite/Makefile b/helm/software/components/tptp_grafite/Makefile
index b89f39ed5124a98e46480b34d229739afb7f391d..e452480d8430ec07a2d6b919628c563e49f55e9e 100644 (file)
--- a/helm/software/components/tptp_grafite/Makefile
+++ b/helm/software/components/tptp_grafite/Makefile
@@ -7,7 +7,7 @@ IMPLEMENTATION_FILES = ast.ml lexer.ml astTHF.ml lexerTHF.ml $(INTERFACE_FILES:%
 EXTRA_OBJECTS_TO_INSTALL = 
 EXTRA_OBJECTS_TO_CLEAN =
 
-TPTPDIR= /home/$(USER)/work-area/TPTP-v3.2.0/
+TPTPDIR= /home/$(USER)/work-area/TPTP-v4.0.1/
 
 all: tptp2grafite mainTHF
 clean: clean_tests clean_generated
@@ -64,6 +64,14 @@ parse-%:
                > /dev/null || echo Failed: $$X; \
        done
 
+thf:
+       rm -rf THF
+       mkdir THF
+       for x in `cat thf_problems`; do\
+               echo $$x;\
+               ./mainTHF -tptppath $(TPTPDIR) $$x.p > THF/$$x.ma;\
+       done
+
 include ../../Makefile.defs
 include ../Makefile.common