From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 8 Feb 2005 21:43:30 +0000 (+0000)
Subject: use wildcard in install target so that binary objects are installed only
X-Git-Tag: before_svn_merge~20
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e26e537262dfd73ad3b9aca1138cdf662168d81c;p=helm.git

use wildcard in install target so that binary objects are installed only
when built
---

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index 62a606719..572a7f258 100644
--- a/helm/DEVEL/ocaml-http/Makefile
+++ b/helm/DEVEL/ocaml-http/Makefile
@@ -129,7 +129,7 @@ install: META
 	$(OCAMLFIND) install -destdir $(DESTDIR) $(PKGNAME)	\
 		$(patsubst %, %.mli, $(PUBLIC_MODULES))	\
 		$(patsubst %, %.cmi, $(PUBLIC_MODULES))	\
-		http{,_mt}.cm{,x}a http{,_mt}.a META
+		$(wildcard *.cma *.cmxa *.a) META
 
 .PHONY:	\
 	all opt world all_non_mt all_mt opt_non_mt opt_mt	\