helm/software/components/cic_exportation/Makefile

   1 PACKAGE = cic_exportation
   2 PREDICATES =
   3
   4 INTERFACE_FILES = \
   5         cicExportation.mli \
   6         $(NULL)
   7 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   8
   9 # Metadata tools only need zeta-reduction
  10 EXTRA_OBJECTS_TO_INSTALL =
  11 EXTRA_OBJECTS_TO_CLEAN =
  12
  13 include ../../Makefile.defs
  14 include ../Makefile.common