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         cicAst.ml \
  11         contentTable.mli \
  12         cic2Xml.mli \
  13         mpresentation.mli box.mli \
  14         acic2Ast.mli \
  15         cicAstPp.mli ast2pres.mli content2pres.mli \
  16         sequent2pres.mli \
  17         misc.mli xml2Gdome.mli sequentPp.mli \
  18         applyTransformation.mli \
  19         tacticAstPp.mli boxPp.mli tacticAst2Box.mli
  20 IMPLEMENTATION_FILES = \
  21         tacticAst.ml \
  22         $(INTERFACE_FILES:%.mli=%.ml)
  23 EXTRA_OBJECTS_TO_INSTALL =
  24 EXTRA_OBJECTS_TO_CLEAN =
  25
  26 all:
  27
  28 clean: extra_clean
  29 distclean: extra_clean
  30 extra_clean:
  31         rm -f make_table
  32
  33 include ../Makefile.common