]> matita.cs.unibo.it Git - helm.git/blob - matita/components/library/Makefile
Remove the daemon :-)
[helm.git] / matita / components / library / Makefile
1 PACKAGE = library
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         librarian.mli \
6         libraryMisc.mli \
7         libraryClean.mli \
8         $(NULL)
9 IMPLEMENTATION_FILES = \
10         $(INTERFACE_FILES:%.mli=%.ml)
11
12 include ../../Makefile.defs
13 include ../Makefile.common