-all: cic.cmo deannotate.cmo cicParser3.cmo cicParser2.cmo cicParser.cmo
-opt: cic.cmx deannotate.cmx cicParser3.cmx cicParser2.cmx cicParser.cmx
+INTERFACE_FILES = \
+ cicUniv.mli deannotate.mli cicParser3.mli cicParser2.mli cicParser.mli cicUtil.mli helmLibraryObjects.mli
+IMPLEMENTATION_FILES = \
+ cic.ml $(INTERFACE_FILES:%.mli=%.ml)
+EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi
+EXTRA_OBJECTS_TO_CLEAN =