From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id B84C9BC6B for ; Tue, 8 Jan 2008 21:18:09 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMdog0fAXQInh2dsb2JhbACQGwEBAQgKKYEUmAE X-IronPort-AV: E=Sophos;i="4.24,259,1196636400"; d="scan'208";a="21031459" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Jan 2008 21:18:09 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m08KI8Mj030021 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 8 Jan 2008 21:18:09 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAEZpg0dQRFuw/2dsb2JhbACRbZd/ X-IronPort-AV: E=Sophos;i="4.24,259,1196636400"; d="scan'208";a="5849209" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Jan 2008 21:18:08 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1JCKtk-0004CH-21 for caml-list@inria.fr; Tue, 08 Jan 2008 20:18:08 +0000 Date: Tue, 8 Jan 2008 20:18:07 +0000 To: caml-list@inria.fr Subject: Re: [Caml-list] Shared run-time DLLs for commerce Message-ID: <20080108201807.GA15714@annexia.org> References: <47824B45.1000507@frisch.fr> <20080108160351.GB4410@annexia.org> <20080108.203904.99447466393495928.Christophe.Troestler+ocaml@umh.ac.be> <200801081942.22146.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200801081942.22146.jon@ffconsultancy.com> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Miltered: at concorde with ID 4783DA81.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; run-time:01 christophe:01 troestler:01 0100,:01 zacchiroli:01 fwiw:01 bug:01 ocaml:01 compiler:01 ocaml:01 deps:01 libc:01 libc:01 buffer:01 pervasives:01 On Tue, Jan 08, 2008 at 07:42:21PM +0000, Jon Harrop wrote: > On Tuesday 08 January 2008 19:39:04 Christophe TROESTLER wrote: > > On Mon, 7 Jan 2008 22:17:31 +0100, Stefano Zacchiroli wrote: > > > FWIW it would also save a lot of time and effort for maintainers of > > > OCaml-related software in (binary-based) GNU/Linux distributions, as > > > Debian and Red Hat. > > > > On Tue, 8 Jan 2008 16:03:51 +0000, Richard Jones wrote: > > > This is certainly true. The single, brittle digest is a real problem > > > for Red Hat. It should be at least possible to add additional values > > > and types without that causing incompatibility. > > > > Why don't you guys discuss exactly what kind of robustness you need > > and introduce a feature wish in the bug tracker? > > Of course, the package maintainers could always simply remove the > digest test from their own OCaml package and hope for the best. ;-) The problem, though, is that you _can't_ remove that test from the compiler[1]. OCaml modules in Fedora have deps like this: $ rpm -q --requires ocaml-libvirt rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(VersionedDependencies) <= 3.0.3-1 libc.so.6()(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libvirt.so.0()(64bit) ocaml(Buffer) = f6cef633ea14963b84b79c4095c63dc3 ocaml(Callback) = e5ca1fb5990fac2b7b17cbb1712cffe2 ocaml(Char) = e98bc9c9e918a84b3c1a5a122d42fac1 ocaml(Pervasives) = 8ba3d1faa24d659525c9025f41fd0c57 ocaml(String) = 2c162ab314b2f0a2cfd22d471b2e21ab ocaml(runtime) = 3.10.0 These deps do ensure that you can't install the wrong RPM without forcing it, but don't allow us any sort of backwards compatibility. When Ocaml 3.10.1 comes out, we'll need to recompile everything. More critically our customers will have to recompile all of their code too. A single critical library somewhere can have the same effect. OCaml in RHEL/EPEL has to stick with the same libraries, even if they have bugs, even if they have _security_ bugs (probably, but not hit that one yet thankfully). This is quite different from the way that RHEL provides guaranteed binary compatibility for 7 years, with continual upgrades and backporting along the way. Rich. [1] Well, OK I guess we could patch it out, but that'd be a really stupid idea. -- Richard Jones Red Hat