From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 2 Dec 2002 14:05:00 +0000 (+0000)
Subject: bugfix: install also _mt objects
X-Git-Tag: V_0_0_6~21
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f88c96d9704ad928ec985b1394f8429621d06bd8;p=helm.git

bugfix: install also _mt objects
---

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	\