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 OAA26957; Fri, 21 Dec 2001 14:01:10 +0100 (MET) 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 OAA26853 for ; Fri, 21 Dec 2001 14:01:09 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBLD17901595; Fri, 21 Dec 2001 14:01:07 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA26923; Fri, 21 Dec 2001 14:01:07 +0100 (MET) Date: Fri, 21 Dec 2001 14:01:07 +0100 From: Xavier Leroy To: Christophe Raffalli Cc: caml-list@inria.fr Subject: Re: [Caml-list] Segv while compiling ocaml-3.04 Message-ID: <20011221140107.A26653@pauillac.inria.fr> References: <200112170931.KAA0000003112@beaune.inria.fr> <3C1DB4A6.A1B4462@univ-savoie.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <3C1DB4A6.A1B4462@univ-savoie.fr>; from Christophe.Raffalli@univ-savoie.fr on Mon, Dec 17, 2001 at 10:02:30AM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Update on the gcc 2.96 issue: A patch is now available, along with an updated source RPM and an updated RedHat 7.2 binary RPM, all at the usual place: http://caml.inria.fr/ocaml/distrib.html For those who are worried about it, the purity of the OCaml source code isn't affected: the patch simply selects gcc compilation options (-fomit-frame-pointer) that seem to work around the bug. As to which versions of gcc are affected: gcc 2.96 from RH 7.2 and Mandrake 8.1 are, I'm certain that 2.95.2 is not, and believe that 3.0 isn't either, but this has to be checked carefully. A bug report was filed with RedHat. (The bug was already in their database, but I added a report for good measure.) If someone knows how to file a bug report for Mandrake 8.1 (which seems to be affected as well), I can provide details. This is actually the second time that RedHat's modified gcc breaks OCaml. I won't engage in RedHat bashing here, since that's rather pointless. We'll probably deal with this issue like we did the first time: test the gcc version in configure and issue a strongly worded warning, telling the users to continue at their own risks. Just refusing to compile for gcc 2.96 would be excessive, since apparently not all versions of 2.96 have the bug... - Xavier Leroy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr