From f88c96d9704ad928ec985b1394f8429621d06bd8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 2 Dec 2002 14:05:00 +0000 Subject: [PATCH] bugfix: install also _mt objects --- helm/DEVEL/ocaml-http/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile index c3e420892..abd1a22d1 100644 --- a/helm/DEVEL/ocaml-http/Makefile +++ b/helm/DEVEL/ocaml-http/Makefile @@ -85,8 +85,9 @@ dist: distclean depend rm -rf $(DISTDIR)/ install: META $(OCAMLFIND) install -destdir $(DESTDIR) $(PKGNAME) \ - META $(patsubst %, %.mli, $(PUBLIC_MODULES)) \ - $(patsubst %, %.cmi, $(PUBLIC_MODULES)) http.cm{,x}a http.a + $(patsubst %, %.mli, $(PUBLIC_MODULES)) \ + $(patsubst %, %.cmi, $(PUBLIC_MODULES)) \ + http{,_mt}.cm{,x}a http{,_mt}.a META .PHONY: \ all opt world all_non_mt all_mt opt_non_mt opt_mt \ -- 2.39.2