]> matita.cs.unibo.it Git - helm.git/blob - components/extlib/Makefile
added generation of quick reference card of tactic syntax
[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         $(NULL)
13 IMPLEMENTATION_FILES = \
14         $(INTERFACE_FILES:%.mli=%.ml)
15 EXTRA_OBJECTS_TO_INSTALL =
16 EXTRA_OBJECTS_TO_CLEAN =
17
18 include ../../Makefile.defs
19 include ../Makefile.common