matita/components/whelp/Makefile

   1 PACKAGE = whelp
   2
   3 INTERFACE_FILES =       \
   4         whelp.mli       \
   5         fwdQueries.mli  \
   6         $(NULL)
   7
   8 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   9
  10 include ../../Makefile.defs
  11 include ../Makefile.common