]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_textual_parser/Makefile
Files control.js graphLinks.js utils.js no longer in use.
[helm.git] / helm / ocaml / cic_textual_parser / Makefile
1 PACKAGE = cic_textual_parser
2 REQUIRES = helm-cic
3 PREDICATES =
4
5 INTERFACE_FILES = cicTextualParser.mli cicTextualParserContext.mli
6 IMPLEMENTATION_FILES = cicTextualParser0.ml $(INTERFACE_FILES:%.mli=%.ml) \
7                        cicTextualLexer.ml
8 EXTRA_OBJECTS_TO_INSTALL = cicTextualParser0.ml cicTextualParser0.cmi \
9                            cicTextualLexer.mll cicTextualParser.mly
10
11 EXTRA_OBJECTS_TO_CLEAN = cicTextualParser.ml cicTextualParser.mli \
12                          cicTextualLexer.ml
13
14 include ../Makefile.common