]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/tex_cic_textual_parser/Makefile
coercion application
[helm.git] / helm / ocaml / tex_cic_textual_parser / Makefile
1 PACKAGE = tex_cic_textual_parser
2 REQUIRES = helm-cic helm-cic_textual_parser
3 PREDICATES =
4
5 INTERFACE_FILES = texCicTextualParser.mli texCicTextualParserContext.mli
6 IMPLEMENTATION_FILES = texCicTextualParser0.ml $(INTERFACE_FILES:%.mli=%.ml) \
7                        texCicTextualLexer.ml
8 EXTRA_OBJECTS_TO_INSTALL = texCicTextualParser0.ml texCicTextualParser0.cmi \
9                            texCicTextualLexer.mll texCicTextualParser.mly
10
11 EXTRA_OBJECTS_TO_CLEAN = texCicTextualParser.ml texCicTextualParser.mli \
12                          texCicTextualLexer.ml
13
14 include ../Makefile.common