Branched paramodulation for CNF (Horn clauses)

[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 c196dd609e418ccd733d2f51b8a00da848ae3a5b..3c130f2161392e9f5f5273652a2525752d3c89b2 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 $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL = 
 EXTRA_OBJECTS_TO_CLEAN =
 
-TPTPDIR= /home/$(USER)/work-area/TPTP-v3.2.0/
+TPTPDIR= /home/maxime/TPTP-v3.7.0/
 
 all: tptp2grafite
 clean: clean_tests