2 REQUIRES = helm-urimanager helm-xml expat pxp-engine helm-pxp
14 helmLibraryObjects.mli
15 IMPLEMENTATION_FILES = \
16 cic.ml $(INTERFACE_FILES:%.mli=%.ml)
17 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
18 EXTRA_OBJECTS_TO_CLEAN =
20 include ../Makefile.common