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         applyTransformation.mli \
  21         $(NULL)
  22 IMPLEMENTATION_FILES = \
  23         $(INTERFACE_FILES:%.mli=%.ml)
  24 EXTRA_OBJECTS_TO_INSTALL =
  25 EXTRA_OBJECTS_TO_CLEAN =
  26
  27 all:
  28
  29 clean: extra_clean
  30 distclean: extra_clean
  31 extra_clean:
  32         rm -f make_table
  33
  34 include ../Makefile.common