From 113bef6891e9ddaba7d81addbc1b2182fb234913 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 25 Dec 2002 20:39:02 +0000 Subject: [PATCH] - bugfix: installs also cmi for modules which doesn't have mli --- helm/DEVEL/ocaml-http/Makefile | 1 + 1 file changed, 1 insertion(+) 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: \ -- 2.39.2