helm/ocaml/cic_transformations/Makefile

   1 PACKAGE = cic_transformations
   2 PREDICATES =
   3
   4 # modules which have both a .ml and a .mli
   5 INTERFACE_FILES =               \
   6         cic2Xml.mli             \
   7         content2pres.mli        \
   8         sequent2pres.mli        \
   9         domMisc.mli             \
  10         xml2Gdome.mli           \
  11         applyTransformation.mli \
  12         $(NULL)
  13 IMPLEMENTATION_FILES = \
  14         $(INTERFACE_FILES:%.mli=%.ml)
  15 EXTRA_OBJECTS_TO_INSTALL =
  16 EXTRA_OBJECTS_TO_CLEAN =
  17
  18 all:
  19
  20 clean: extra_clean
  21 distclean: extra_clean
  22 extra_clean:
  23         rm -f make_table
  24
  25 include ../Makefile.common