helm/ocaml/cic_transformations/Makefile

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