helm/ocaml/cic_transformations/Makefile

   1 PACKAGE = cic_transformations
   2 REQUIRES = \
   3         gdome2-xslt \
   4         helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry \
   5         helm-utf8_macros
   6 PREDICATES =
   7
   8 # modules which have both a .ml and a .mli
   9 INTERFACE_FILES = \
  10         contentTable.mli \
  11         cic2Xml.mli \
  12         mpresentation.mli box.mli \
  13         acic2Ast.mli \
  14         cicAstPp.mli ast2pres.mli content2pres.mli \
  15         sequent2pres.mli \
  16         misc.mli xml2Gdome.mli sequentPp.mli \
  17         applyStylesheets.mli applyTransformation.mli \
  18         tacticAstPp.mli boxPp.mli tacticAst2Box.mli
  19 IMPLEMENTATION_FILES = \
  20         cicAst.ml tacticAst.ml \
  21         $(INTERFACE_FILES:%.mli=%.ml)
  22 EXTRA_OBJECTS_TO_INSTALL =
  23 EXTRA_OBJECTS_TO_CLEAN =
  24
  25 all:
  26
  27 clean: extra_clean
  28 distclean: extra_clean
  29 extra_clean:
  30         rm -f make_table
  31
  32 include ../Makefile.common