From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 5E586BC8A for ; Sun, 30 Jan 2005 07:14:17 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j0U6EGBL020956 for ; Sun, 30 Jan 2005 07:14:16 +0100 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 HAA07000 for ; Sun, 30 Jan 2005 07:14:16 +0100 (MET) Received: from smtp1.wanadoo.fr (smtp1.wanadoo.fr [193.252.22.30]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0U6EG7M026658 for ; Sun, 30 Jan 2005 07:14:16 +0100 Received: from me-wanadoo.net (mail.freewebemail.com [127.0.0.1]) by mwinf0106.wanadoo.fr (SMTP Server) with ESMTP id 07D2D1C0014D; Sun, 30 Jan 2005 07:14:16 +0100 (CET) Received: from pegasos (AStrasbourg-251-1-65-234.w82-126.abo.wanadoo.fr [82.126.133.234]) by mwinf0106.wanadoo.fr (SMTP Server) with ESMTP id C4A841C0014C; Sun, 30 Jan 2005 07:14:14 +0100 (CET) X-ME-UUID: 20050130061414805.C4A841C0014C@mwinf0106.wanadoo.fr Received: from luther by pegasos with local (Exim 4.43) id 1Cv8J0-0008RX-Ol; Sun, 30 Jan 2005 07:11:30 +0100 Date: Sun, 30 Jan 2005 07:11:26 +0100 To: Christophe TROESTLER Cc: caml-list@inria.fr, debian-ocaml-maint@lists.debian.org Subject: Re: [Caml-list] binary compatibility of 3.08.3 Message-ID: <20050130061126.GA32348@pegasos> Mail-Followup-To: Christophe TROESTLER , caml-list@inria.fr, debian-ocaml-maint@lists.debian.org References: <99C2C114-6583-11D9-B72B-000D9345235C@inria.fr> <20050113184137.GA24040@fistandantilus.takhisis.org> <20050113.150239.95895778.garrigue@math.nagoya-u.ac.jp> <20050127.164050.17018072.debian00@tiscali.be> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <20050127.164050.17018072.debian00@tiscali.be> User-Agent: Mutt/1.5.6+20040907i From: Sven Luther X-Miltered: at nez-perce with ID 41FC7B38.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41FC7B38.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 binary:01 sven:01 luther:01 sven:01 luther:01 christophe:01 troestler:01 wrote:01 wrote:01 reasonnable:01 binary:01 usr:01 lib:01 ocaml:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: On Thu, Jan 27, 2005 at 04:40:50PM +0100, Christophe TROESTLER wrote: > On Thu, 13 Jan 2005, Jacques Garrigue wrote: > > > > It is reasonnable to assume that 3.08.3 will not be binary compatible. > > BTW, what about then changing the library locations > (e.g. /usr/lib/ocaml/3.08) to include the "minor number" > (e.g. /usr/lib/ocaml/3.08.3)? [Applies also to ld.conf, /usr/local, > the default findlib location,...] That would make easy to have > several versions of OCaml installed on the same machine (especially > for /usr/local) and will make it clear one has to recompile existing > libraries. Sure, and that is what we will have to do. This is a lengthy process though, and we had hoped to avoid this. This means not only changing the LIBDIR name, but also changing the virtual versioned package from ocaml-3.08 to ocaml-3.08.3, which our autobuilders still have trouble with. We should really have done this for 3.08.2, but 3.08.1 was ok. Also notice that on debian systems, you should not install into plain /usr/local, but into /usr/local/lib/ocaml/3.08.3 too. the default ld.conf knows about that, but sadly ocaml doesn't know how to look for various LIBDIR path by itself. Friendly, Sven Luther