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