]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/extlib/Makefile
Bug fixed in insertion of parametric coercions.
[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         $(NULL)
12 IMPLEMENTATION_FILES = \
13         $(INTERFACE_FILES:%.mli=%.ml)
14 EXTRA_OBJECTS_TO_INSTALL =
15 EXTRA_OBJECTS_TO_CLEAN =
16
17 include ../../Makefile.defs
18 include ../Makefile.common