cic module removed (RIP)

[helm.git] / matita / components / grafite_parser / Makefile

diff --git a/matita/components/grafite_parser/Makefile b/matita/components/grafite_parser/Makefile
index 892325d52a33bcfda608e368bf3814242abf9edd..45ee2aa0f8267a05e736b33734bcc7cdd651dc5d 100644 (file)
--- a/matita/components/grafite_parser/Makefile
+++ b/matita/components/grafite_parser/Makefile
@@ -11,8 +11,8 @@ INTERFACE_FILES =                     \
        $(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
-all: test_parser test_dep
-clean: clean_tests
+all:
+clean:
 
 # <cross> cross compatibility among ocaml 3.09 and ocaml 3.08, to be removed as
 # soon as we have ocaml 3.09 everywhere and "loc" occurrences are replaced by
@@ -29,20 +29,5 @@ depend.opt: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
 grafiteParser.cmo: OCAMLC = $(OCAMLC_P4)
 grafiteParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
 
-clean_tests:
-       rm -f test_parser{,.opt} test_dep{,.opt} print_grammar{,.opt}
-
-LOCAL_LINKOPTS = -package helm-$(PACKAGE) -linkpkg
-test: test_parser print_grammar test_dep
-test_parser: test_parser.ml $(PACKAGE).cma
-       @echo "  OCAMLC $<"
-       @$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
-print_grammar: print_grammar.ml $(PACKAGE).cma
-       @echo "  OCAMLC $<"
-       @$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
-test_dep: test_dep.ml $(PACKAGE).cma
-       @echo "  OCAMLC $<"
-       @$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
-
 include ../../Makefile.defs
 include ../Makefile.common