X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Ftest_parser%2FMakefile;h=52f1a4feacc1579939204c062b1e7c9ae9fc5f87;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hp=7d5981a57251015cc93b04d1d20af8023a815e04;hpb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;p=helm.git

diff --git a/matita/components/binaries/test_parser/Makefile b/matita/components/binaries/test_parser/Makefile
index 7d5981a57..52f1a4fea 100644
--- a/matita/components/binaries/test_parser/Makefile
+++ b/matita/components/binaries/test_parser/Makefile
@@ -6,11 +6,11 @@ INTERFACE_FILES =
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) 
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN = \
-	test_parser test_parser.opt test_dep test_dep.opt print_grammar print_grammar.opt
+	test_parser test_parser.opt test_dep test_dep.opt
 
-all: test_parser test_dep print_grammar
+all: test_parser test_dep
 	$(H)echo -n
-opt: test_parser.opt test_dep.opt print_grammar.opt
+opt: test_parser.opt test_dep.opt
 	$(H)echo -n
 
 test_parser: test_parser.ml
@@ -33,19 +33,9 @@ test_dep.opt: test_dep.ml
 	$(H)$(OCAMLFIND) ocamlopt \
 		-I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
 
-print_grammar: print_grammar.ml
-	$(H)echo "    OCAMLC $<"
-	$(H)$(OCAMLFIND) ocamlc \
-		-I ../../tactics/paramodulation/ -rectypes -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
-
-print_grammar.opt: print_grammar.ml
-	$(H)echo "    OCAMLOPT $<"
-	$(H)$(OCAMLFIND) ocamlopt \
-		-I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
-
 clean:
 	$(H)rm -f *.cm[iox] *.a *.o
-	$(H)rm -f test_parser test_parser.opt test_dep test_dep.opt print_grammar print_grammar.opt
+	$(H)rm -f test_parser test_parser.opt test_dep test_dep.opt
 
 depend:
 depend.opt: