From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA22101; Thu, 8 Aug 2002 10:33:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 KAA22276 for ; Thu, 8 Aug 2002 10:33:22 +0200 (MET DST) Received: from mel-rto2.wanadoo.fr (smtp-out-2.wanadoo.fr [193.252.19.254]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g788XKj06557; Thu, 8 Aug 2002 10:33:20 +0200 (MET DST) Received: from mel-rta7.wanadoo.fr (193.252.19.61) by mel-rto2.wanadoo.fr (6.5.007) id 3D49FBEC00287A4D; Thu, 8 Aug 2002 10:33:20 +0200 Received: from iliana (80.9.105.60) by mel-rta7.wanadoo.fr (6.5.007) id 3D49FF1400254B93; Thu, 8 Aug 2002 10:33:20 +0200 Received: from luther by iliana with local (Exim 3.35 #1 (Debian)) id 17cin0-0000By-00; Thu, 08 Aug 2002 10:37:02 +0200 Date: Thu, 8 Aug 2002 10:37:02 +0200 To: Xavier Leroy Cc: luther@dpt-info.u-strasbg.fr, caml-list@inria.fr Subject: [Caml-list] Re: 3.05 and future 3.06 binary compatibility ? Message-ID: <20020808083702.GA734@iliana> References: <20020729144527.A30919@pauillac.inria.fr> <000f01c2377c$36263060$2097fea9@janxp> <86vg6xlktk.fsf_-_@laurelin.dementia.org> <20020730095833.B6564@pauillac.inria.fr> <20020730083751.GA1041@iliana> <20020730161129.A27941@pauillac.inria.fr> <20020801093701.GA20892@iliana> <20020801140939.A6160@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020801140939.A6160@pauillac.inria.fr> User-Agent: Mutt/1.4i From: Sven LUTHER Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Aug 01, 2002 at 02:09:39PM +0200, Xavier Leroy wrote: > > Will this 3.06 release be compatible with 3.05, or will we have to > > rebuild all the libraries that were built with 3.05 for 3.06 ? > > > > I know you strongly recommend that libraries are rebuilt for each new > > ocaml version, but a parsing bug hardly seem to affect binary > > compatibility. > > It's a type-checking bug, not a parsing bug. You're correct that > fixing it is likely not to break binary compatibility. > > However, I have bad news for you: it turns out that the .cmi files for > 3.05 have a different format than those for 3.04, and we forgot to > change the magic number in .cmi files whose purpose is precisely to > guard against using a .cmi file in an old format. (The segfault > reported by Alexander Voinov on this list was tracked down to such an > undetected use of an old .cmi file.) Hence, the magic number will be > bumped in 3.06, causing 3.05-compiled files to be rejected. Hello Xavier ... I face a problem with the 3.05 debian package : o I had thought to wait for the 3.06 release, before all the libraries get rebuilt for ocaml 3.05/3.06. o In the meantime, i released a ocaml 3.05 package to debian/unstable, but by doing so the autobuilder try to build new versions of libraries against ocaml 3.05, which does not work, because of the build dependencies. So, i face a problem, which can be solved by : o removing the 3.05 ocaml package (and upload it to debian/experimental) and keep the 3.04 package in unstable for now (note that experimental is not a propper debian distribution, just a place to put packages that cannot go into unstable/testing), and wait for the 3.06 release. o bump the .cmi magic numbers (i suppose you have a patch for that in CVS that i can use), and release a new ocaml package (3.05-2), then rebuild the libraries with build dependency on ocaml >= 3.05-2 and < 3.07, so that they will work with the current ocaml 3.05 and the future ocaml 3.06 when it is released. In this second case, i need to be sure that there will be no binary incompatibility between ocaml 3.05 and 3.06, like you implied in your previous mail. Anyway, it would be nice to know what the timeframe of the 3.06 release is going to be, and if my assumption on binary compatibility is not going to cause problems. Friendly, Sven Luther > > I know you will hate me for this, but I really don't see any better > solution. > > - Xavier Leroy, who also spent a while rebuilding all his libs > > PS. Your mail had an invalid From address "root@iliana". > > > > > > > > > > Friendly, > > > > Sven Luther ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners