X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2FMakefile;h=45ee2aa0f8267a05e736b33734bcc7cdd651dc5d;hb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;hp=892325d52a33bcfda608e368bf3814242abf9edd;hpb=cb11de1c61f0b61935b1c6c1832deacb49f7b5bd;p=helm.git

diff --git a/matita/components/grafite_parser/Makefile b/matita/components/grafite_parser/Makefile
index 892325d52..45ee2aa0f 100644
--- 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