matita/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         graphvizPp.mli          \
  14         $(NULL)
  15 IMPLEMENTATION_FILES = \
  16         $(INTERFACE_FILES:%.mli=%.ml)
  17 EXTRA_OBJECTS_TO_INSTALL =
  18 EXTRA_OBJECTS_TO_CLEAN =
  19
  20 include ../../Makefile.defs
  21 include ../Makefile.common