helm/software/components/extlib/Makefile

   1 PACKAGE = extlib
   2 PREDICATES =
   3
   4 INTERFACE_FILES =               \
   5         componentsConf.mli      \
   6         hExtlib.mli             \
   7         hMarshal.mli            \
   8         patternMatcher.mli      \
   9         hLog.mli                \
  10         trie.mli                \
  11         discrimination_tree.mli                 \
  12         hTopoSort.mli           \
  13         refCounter.mli          \
  14         graphvizPp.mli          \
  15         $(NULL)
  16 IMPLEMENTATION_FILES = \
  17         $(INTERFACE_FILES:%.mli=%.ml)
  18 EXTRA_OBJECTS_TO_INSTALL =
  19 EXTRA_OBJECTS_TO_CLEAN =
  20
  21 include ../../Makefile.defs
  22 include ../Makefile.common