helm/software/components/urimanager/Makefile

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