]> matita.cs.unibo.it Git - helm.git/blob - components/extlib/Makefile
25b49280c29cde8883bc688fd32ffdc10b2fe7b4
[helm.git] / components / extlib / Makefile
1 PACKAGE = extlib
2 PREDICATES =
3
4 INTERFACE_FILES =               \
5         componentsConf.mli      \
6         hExtlib.mli             \
7         hMarshal.mli            \
8         patternMatcher.mli      \
9         hLog.mli                \
10         trie.mli                \
11         refCounter.mli          \
12         graphvizPp.mli          \
13         $(NULL)
14 IMPLEMENTATION_FILES = \
15         $(INTERFACE_FILES:%.mli=%.ml)
16 EXTRA_OBJECTS_TO_INSTALL =
17 EXTRA_OBJECTS_TO_CLEAN =
18
19 include ../../Makefile.defs
20 include ../Makefile.common