Last commit made matita FTBFS. Fixed.

[helm.git] / matita / components / binaries / test_parser / Makefile

diff --git a/matita/components/binaries/test_parser/Makefile b/matita/components/binaries/test_parser/Makefile
index 7d5981a57251015cc93b04d1d20af8023a815e04..52f1a4feacc1579939204c062b1e7c9ae9fc5f87 100644 (file)
--- 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: