]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic/Makefile
rendering from markup to string
[helm.git] / helm / ocaml / cic / Makefile
1 PACKAGE = cic
2 REQUIRES = helm-urimanager helm-xml expat
3 PREDICATES =
4
5 INTERFACE_FILES = \
6         unshare.mli             \
7         cicUniv.mli             \
8         deannotate.mli          \
9         cicParser.mli           \
10         cicUtil.mli             \
11         helmLibraryObjects.mli  \
12         libraryObjects.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