]> matita.cs.unibo.it Git - helm.git/blob - components/cic/Makefile
Useless code simplified out.
[helm.git] / components / cic / Makefile
1 PACKAGE = cic
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         unshare.mli             \
6         cicUniv.mli             \
7         deannotate.mli          \
8         cicParser.mli           \
9         cicUtil.mli             \
10         helmLibraryObjects.mli  \
11         libraryObjects.mli \
12         discrimination_tree.mli \
13         path_indexing.mli
14 IMPLEMENTATION_FILES = \
15         cic.ml $(INTERFACE_FILES:%.mli=%.ml)
16 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
17 EXTRA_OBJECTS_TO_CLEAN =
18
19 include ../../Makefile.defs
20 include ../Makefile.common