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

diff --git a/helm/software/components/tptp_grafite/Makefile b/helm/software/components/tptp_grafite/Makefile
index 4e4d31677..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)/TPTP-v3.1.1/
+TPTPDIR= /home/maxime/TPTP-v3.7.0/
 
 all: tptp2grafite
 clean: clean_tests
@@ -38,6 +38,12 @@ generate-%:
 		> ../../matita/tests/TPTP/$$X.ma || echo Failed: $$X; \
 	done
 
+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"; \