From: Stefano Zacchiroli Date: Wed, 25 Dec 2002 20:39:02 +0000 (+0000) Subject: - bugfix: installs also cmi for modules which doesn't have mli X-Git-Tag: v0_3_99~124 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=113bef6891e9ddaba7d81addbc1b2182fb234913 - bugfix: installs also cmi for modules which doesn't have mli --- diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile index 94e389685..90ab28781 100644 --- a/helm/DEVEL/ocaml-http/Makefile +++ b/helm/DEVEL/ocaml-http/Makefile @@ -102,6 +102,7 @@ install: META $(patsubst %, %.mli, $(PUBLIC_MODULES)) \ $(patsubst %, %.ml, $(PUBLIC_IMPL)) \ $(patsubst %, %.cmi, $(PUBLIC_MODULES)) \ + $(patsubst %, %.cmi, $(PUBLIC_IMPL)) \ http{,_mt}.cm{,x}a http{,_mt}.a META .PHONY: \