From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 430187FC43 for ; Tue, 3 Mar 2015 15:56:03 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AWAgAvyvVUlLt+49Ragxc9WsE+DIVuAoEnTQEBAQEBARABAQEBBwsLCRIwhBABBAFVJBALRlcGEwmIHgwJu3whbw2ZHAEBAQEBAQEBAQEBAQEBAQEcixKCYYFnJgeCLQxBgTEFhXCKTQGDG4cDhVEDiTODPoQSbgGCQgEBAQ X-IPAS-Result: A0AWAgAvyvVUlLt+49Ragxc9WsE+DIVuAoEnTQEBAQEBARABAQEBBwsLCRIwhBABBAFVJBALRlcGEwmIHgwJu3whbw2ZHAEBAQEBAQEBAQEBAQEBAQEcixKCYYFnJgeCLQxBgTEFhXCKTQGDG4cDhVEDiTODPoQSbgGCQgEBAQ X-IronPort-AV: E=Sophos;i="5.09,682,1418079600"; d="asc'?scan'208";a="101958980" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Mar 2015 15:56:02 +0100 Received: from office1.lan.sumadev.de ([178.4.18.94]) by mrelayeu.kundenserver.de (mreue005) with ESMTPSA (Nemesis) id 0LrXNx-1XTrR61rXZ-013OPo; Tue, 03 Mar 2015 15:56:01 +0100 Received: from [192.168.5.106] (thinkpad.lan.sumadev.de [192.168.5.106]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 993CDDC05D; Tue, 3 Mar 2015 15:56:00 +0100 (CET) Message-ID: <1425394551.4056.1.camel@thinkpad.lan.sumadev.de> From: Gerd Stolpmann To: =?ISO-8859-1?Q?Fran=E7ois?= Bobot Cc: OCaml Mailing List Date: Tue, 03 Mar 2015 15:55:51 +0100 In-Reply-To: <54F5B3F7.3030705@cea.fr> References: <54F5B3F7.3030705@cea.fr> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-bwVI5ilasXnlSKcIYeb5" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:gHcTby/VChnCABFVh7fatgCTw6dXbH/EPbOjSed3Bw9CDxAKija w9ObYE6T2N6+Zn3Cb8zTaMAKTCuTIcAqmsNJA/ELz7Ub+F/sS+hR86frS/EG6xCFNRohtnA aWwgNPfzAS5kF6lQmI7z07Z1L0KJPnF45D/SGkbcp8ZxQGgtCwFdLjKWwOegupMITSVSnb8 ggVMmhFtl99hO1T8uE1aQ== X-UI-Out-Filterresults: notjunk:1; Subject: Re: [Caml-list] Dependencies between plugins --=-bwVI5ilasXnlSKcIYeb5 Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Dienstag, den 03.03.2015, 14:15 +0100 schrieb Fran=E7ois Bobot: > Hi everyone, >=20 > I'm wondering how people are handling dependencies between libraries dyn= amically linked. >=20 > Even if many libraries compile a cmxs and have in their META file `archiv= e(plugin,native)=3D...`. I=20 > know only one tool that uses this information: the ocsigen server. The co= de to gather all the cmxs=20 > or cma is not hard to write, thanks to findlib: >=20 > https://github.com/ocsigen/ocsigenserver/blob/master/src/baselib/ocsigen_= loader.ml#L165 >=20 > Does someone wrote a library that does that? >=20 > Gerd, do you think that something that does that could be added to ocamlf= ind? One tricky thing is to=20 > know the library statically linked (ie. `Ocsigen_config.builtin_packages`= ), perhaps ocamlfind can=20 > during linking add this information. I think so. For toploops, there is already code that tracks libraries already linked into the executable (i.e. if you ocamlmktop your toploop). Gerd >=20 > Regards, >=20 > --=20 > Fran=E7ois >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-bwVI5ilasXnlSKcIYeb5 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJU9ct3AAoJEAaM4b9ZLB5T22gH/17V6AnMfH2A48nNsNpBMkFv wD+GFUiMWWi1Ueje0/jKmIPvCmDqe8JbuOPJA7yqaxfScQgaX1OAslsmgEh+tjuo cqwF2aqewiEGC3pxIQW0ozqPiwHRHJEJEPevZgKQqMnN8smEu4OZJlxb8bHPkKPl AjoXbpVbqBKTpNDNsnwfA7zmUjqKkxfEIB/9u4o9SYCmbpymGE2ixwiyeF8r5b3U 55D0rv+X9w37vH5Wp8d/bWDaNO+ritnlAbYxVdf7b3TGuLS6KhocFmiBLnnZvzZp ICuJSdHMc+yRj0fTd0cs3SrCj9W0EIMAHA2Jz9QGjPROYqCuqGR+Qk/koetOOk8= =z6DJ -----END PGP SIGNATURE----- --=-bwVI5ilasXnlSKcIYeb5--