X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2FMakefile;h=164153916cd8f45dd309cec10d7035c3c51143ec;hb=a64572b00ce40f476577bf827488d23ddf763120;hp=892325d52a33bcfda608e368bf3814242abf9edd;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/grafite_parser/Makefile b/matita/components/grafite_parser/Makefile
index 892325d52..164153916 100644
--- a/matita/components/grafite_parser/Makefile
+++ b/matita/components/grafite_parser/Makefile
@@ -1,18 +1,14 @@
 PACKAGE = grafite_parser
 PREDICATES =
 
-INTERFACE_FILES = 			\
-	dependenciesParser.mli  	\
+INTERFACE_FILES = 		\
 	grafiteParser.mli		\
-	cicNotation2.mli		\
-	nEstatus.mli			\
-	grafiteDisambiguate.mli 	\
-	print_grammar.mli 		\
+	print_grammar.mli 	\
 	$(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 +25,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