helm/software/components/hgdome/Makefile

   1 PACKAGE = hgdome
   2
   3 # modules which have both a .ml and a .mli
   4 INTERFACE_FILES =               \
   5         domMisc.mli             \
   6         xml2Gdome.mli           \
   7         $(NULL)
   8
   9 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  10
  11 include ../../Makefile.defs
  12 include ../Makefile.common