From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id CE68DBC29 for ; Fri, 4 Aug 2006 14:48:16 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k74CmGkr002882 for ; Fri, 4 Aug 2006 14:48:16 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA17276 for ; Fri, 4 Aug 2006 14:48:15 +0200 (MET DST) Received: from fiton.bononia.it (fiton.bononia.it [130.186.88.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k74CmDur002869 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Fri, 4 Aug 2006 14:48:15 +0200 Received: from muletto.takhisis.invalid (fiton.bononia.it [130.186.88.105]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "Stefano Zacchiroli", Issuer "sockmel.bononia.it" (not verified)) by fiton.bononia.it (Postfix) with ESMTP id C446014634 for ; Fri, 4 Aug 2006 14:48:10 +0200 (CEST) Received: by muletto.takhisis.invalid (Postfix, from userid 1000) id E967D4405D; Fri, 4 Aug 2006 14:48:13 +0200 (CEST) Date: Fri, 4 Aug 2006 14:48:13 +0200 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: Re: [Caml-list] Re: ocaml support in autotools Message-ID: <20060804124813.GC7146@aquarium.takhisis.invalid> Mail-Followup-To: Inria Ocaml Mailing List References: <44CE2C74.4070607@inria.fr> <44CE6483.9070205@tepkom.ru> <44D1F265.4040401@inria.fr> <20060804044055.79801082.bga@tepkom.ru> <1154669546.5926.34.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="yVhtmJPUSI46BTXb" Content-Disposition: inline In-Reply-To: <1154669546.5926.34.camel@rosella.wigram> User-Agent: Mutt/1.5.12-2006-07-14 X-Miltered: at concorde with ID 44D34210.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44D3420D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 ocaml:01 ocaml:01 packagers:01 cmi:01 linkable:01 cheers:01 zacchiroli:01 zack:01 unibo:01 2006:98 wrote:01 binaries:01 caml-list:01 X-Attachments: type="application/pgp-signature" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 --yVhtmJPUSI46BTXb Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Aug 04, 2006 at 03:32:26PM +1000, skaller wrote: > BTW: anyone working on this should examine the Debian Ocaml Policy. > Sorry no link off hand, ask on The policy is available on line at this URL: http://pkg-ocaml-maint.alioth.debian.org/ocaml_packaging_policy.html/inde= x.html > At least any macros should work well with Debian packagers > requirements, people there have high expertise packaging Ocaml > stuff. >=20 > In particular .. you should note that 'detecting' ocaml libraries > is VERY HARD because they're locked to a fixed version of Ocaml: > the Ocaml ABI changes with every release (including patches). Still, I don't see the relationship of the policy with ocaml autotools support. The faced issues are different. We have the need of ensuring no two binaries packages could be installed at the same time if they rely on different .cmi assumptions. In other words we want to ensure that libraries that cannot be linked together could be installed at the same time. You may want to perform such a check at configure time, to ensure that linking will succeed, but IMO it would be overkilling and not really needed. After all the target user of autotools is a developer, not the final user. When the final user has to compile libraries by himself, then the infrastructure it uses (e.g. source based distributions or GODI for we ocamlers) for compiling is responsible to ensure that the versions of the library he is building are linkable together. Cheers. --=20 Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!- --yVhtmJPUSI46BTXb Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFE00IN1cqbBPLEI7wRAsIrAKCH1xDyt3sgRFkoDuliYNREFGEvawCdHtI6 njbScEfAJm1AjhblI/KpTlQ= =m6Vw -----END PGP SIGNATURE----- --yVhtmJPUSI46BTXb--