matita/components/xml/Makefile

   1 PACKAGE = xml
   2 PREDICATES =
   3
   4 INTERFACE_FILES =       \
   5         xml.mli         \
   6         xmlPushParser.mli
   7 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   8 EXTRA_OBJECTS_TO_INSTALL =
   9 EXTRA_OBJECTS_TO_CLEAN =
  10
  11 include ../../Makefile.defs
  12 include ../Makefile.common