]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/extlib/Makefile
test branch
[helm.git] / helm / ocaml / extlib / Makefile
1 PACKAGE = extlib
2 PREDICATES =
3
4 INTERFACE_FILES =               \
5         hExtlib.mli             \
6         hMarshal.mli            \
7         patternMatcher.mli      \
8         hLog.mli \
9         trie.mli \
10         $(NULL)
11 IMPLEMENTATION_FILES = \
12         $(INTERFACE_FILES:%.mli=%.ml)
13 EXTRA_OBJECTS_TO_INSTALL =
14 EXTRA_OBJECTS_TO_CLEAN =
15
16 include ../Makefile.common