]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic/Makefile
Added Coer/Coercions print_kind
[helm.git] / helm / ocaml / cic / Makefile
1 PACKAGE = cic
2 REQUIRES = helm-urimanager helm-pxp helm-xml 
3 PREDICATES =
4
5 INTERFACE_FILES = \
6         cicUniv.mli     \
7         deannotate.mli  \
8         cicParser3.mli  \
9         cicParser2.mli  \
10         cicParser.mli   \
11         cicUtil.mli     \
12         helmLibraryObjects.mli
13 IMPLEMENTATION_FILES = \
14         cic.ml $(INTERFACE_FILES:%.mli=%.ml)
15 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
16 EXTRA_OBJECTS_TO_CLEAN =
17
18 include ../Makefile.common