]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/extlib/Makefile
all pullbacks are attempted in sequence, removed many unfold
[helm.git] / helm / software / 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         hTopoSort.mli           \
12         refCounter.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