2 REQUIRES = helm-urimanager helm-xml expat
11 helmLibraryObjects.mli \
12 matitaLibraryObjects.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 =
19 include ../Makefile.common