X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftptp_grafite%2FMakefile;h=3c130f2161392e9f5f5273652a2525752d3c89b2;hb=95a14ced97592a4116485f94c6ffa806feb62dbc;hp=c196dd609e418ccd733d2f51b8a00da848ae3a5b;hpb=948bb5d710c5d7f3185b6fef76c8e71f247cc664;p=helm.git

diff --git a/helm/software/components/tptp_grafite/Makefile b/helm/software/components/tptp_grafite/Makefile
index c196dd609..3c130f216 100644
--- 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