X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FMakefile;fp=helm%2Focaml%2Fcic_textual_parser%2FMakefile;h=0000000000000000000000000000000000000000;hp=8863155b06ee3a326c47fca1691bde147b9be4ae;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/ocaml/cic_textual_parser/Makefile b/helm/ocaml/cic_textual_parser/Makefile
deleted file mode 100644
index 8863155b0..000000000
--- a/helm/ocaml/cic_textual_parser/Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-PACKAGE = cic_textual_parser
-REQUIRES = helm-cic
-PREDICATES =
-
-INTERFACE_FILES = cicTextualParser.mli cicTextualParserContext.mli
-IMPLEMENTATION_FILES = cicTextualParser0.ml $(INTERFACE_FILES:%.mli=%.ml) \
-                       cicTextualLexer.ml
-EXTRA_OBJECTS_TO_INSTALL = cicTextualParser0.ml cicTextualParser0.cmi \
-                           cicTextualLexer.mll cicTextualParser.mly
-
-EXTRA_OBJECTS_TO_CLEAN = cicTextualParser.ml cicTextualParser.mli \
-                         cicTextualLexer.ml
-
-include ../Makefile.common