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

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