]> matita.cs.unibo.it Git - helm.git/blob - matitaB/components/extlib/Makefile
missing notation file
[helm.git] / matitaB / 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         discrimination_tree.mli                 \
12         hTopoSort.mli           \
13         graphvizPp.mli          \
14         $(NULL)
15 IMPLEMENTATION_FILES = \
16         $(INTERFACE_FILES:%.mli=%.ml)
17 EXTRA_OBJECTS_TO_INSTALL =
18 EXTRA_OBJECTS_TO_CLEAN =
19
20 include ../../Makefile.defs
21 include ../Makefile.common