From c36f0330eb500ade81392d254065048e3b1b677e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 21 Apr 2004 17:26:39 +0000 Subject: [PATCH] added helmLibraryObjects.mli mention --- helm/ocaml/cic/.depend | 5 +++-- helm/ocaml/cic/Makefile | 4 ++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend index e46636b24..83d250bae 100644 --- a/helm/ocaml/cic/.depend +++ b/helm/ocaml/cic/.depend @@ -3,6 +3,7 @@ cicParser3.cmi: cic.cmo cicParser2.cmi: cic.cmo cicParser3.cmi cicParser.cmi: cic.cmo cicUtil.cmi: cic.cmo +helmLibraryObjects.cmi: cic.cmo deannotate.cmo: cic.cmo deannotate.cmi deannotate.cmx: cic.cmx deannotate.cmi cicParser3.cmo: cic.cmo cicParser3.cmi @@ -13,5 +14,5 @@ cicParser.cmo: cicParser2.cmi cicParser3.cmi deannotate.cmi cicParser.cmi cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx cicParser.cmi cicUtil.cmo: cic.cmo cicUtil.cmi cicUtil.cmx: cic.cmx cicUtil.cmi -helmLibraryObjects.cmo: cic.cmo -helmLibraryObjects.cmx: cic.cmx +helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi +helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi diff --git a/helm/ocaml/cic/Makefile b/helm/ocaml/cic/Makefile index d1106fb7e..f7933c605 100644 --- a/helm/ocaml/cic/Makefile +++ b/helm/ocaml/cic/Makefile @@ -3,9 +3,9 @@ REQUIRES = helm-urimanager helm-pxp PREDICATES = INTERFACE_FILES = \ - deannotate.mli cicParser3.mli cicParser2.mli cicParser.mli cicUtil.mli + deannotate.mli cicParser3.mli cicParser2.mli cicParser.mli cicUtil.mli helmLibraryObjects.mli IMPLEMENTATION_FILES = \ - cic.ml $(INTERFACE_FILES:%.mli=%.ml) helmLibraryObjects.ml + cic.ml $(INTERFACE_FILES:%.mli=%.ml) EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi EXTRA_OBJECTS_TO_CLEAN = -- 2.39.2