Merge of the V7_3_new_exportation branch.

[helm.git] / helm / ocaml / tex_cic_textual_parser / Makefile

diff --git a/helm/ocaml/tex_cic_textual_parser/Makefile b/helm/ocaml/tex_cic_textual_parser/Makefile
new file mode 100644 (file)
index 0000000..b57b3a8
--- /dev/null
+++ b/helm/ocaml/tex_cic_textual_parser/Makefile
@@ -0,0 +1,14 @@
+PACKAGE = tex_cic_textual_parser
+REQUIRES = helm-cic helm-cic_textual_parser
+PREDICATES =
+
+INTERFACE_FILES = texCicTextualParser.mli texCicTextualParserContext.mli
+IMPLEMENTATION_FILES = texCicTextualParser0.ml $(INTERFACE_FILES:%.mli=%.ml) \
+                       texCicTextualLexer.ml
+EXTRA_OBJECTS_TO_INSTALL = texCicTextualParser0.ml texCicTextualParser0.cmi \
+                           texCicTextualLexer.mll texCicTextualParser.mly
+
+EXTRA_OBJECTS_TO_CLEAN = texCicTextualParser.ml texCicTextualParser.mli \
+                         texCicTextualLexer.ml
+
+include ../Makefile.common