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