]> matita.cs.unibo.it Git - helm.git/blob - matita/components/getter/Makefile
added comment about version number to be manually changed
[helm.git] / matita / components / getter / Makefile
1
2 PACKAGE = getter
3
4 INTERFACE_FILES =               \
5         http_getter_wget.mli    \
6         http_getter_logger.mli  \
7         http_getter_misc.mli    \
8         http_getter_const.mli   \
9         http_getter_env.mli     \
10         http_getter_storage.mli \
11         http_getter_common.mli  \
12         http_getter.mli         \
13         $(NULL)
14
15 IMPLEMENTATION_FILES = \
16         http_getter_types.ml \
17         $(INTERFACE_FILES:%.mli=%.ml)
18
19 include ../../Makefile.defs
20 include ../Makefile.common
21