From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA31278 for caml-redistribution; Fri, 16 Oct 1998 13:34:34 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA22784 for ; Fri, 16 Oct 1998 02:05:53 +0200 (MET DST) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id CAA25767 for ; Fri, 16 Oct 1998 02:05:49 +0200 (MET DST) Received: from photon.csl.sri.com (monniaux@photon.csl.sri.com [130.107.17.20]) by csla.csl.sri.com (8.8.7/8.8.7) with ESMTP id RAA04998 for ; Thu, 15 Oct 1998 17:05:43 -0700 (PDT) Received: (from monniaux@localhost) by photon.csl.sri.com (8.8.5/8.8.7) id RAA22044; Thu, 15 Oct 1998 17:05:40 -0700 Date: Thu, 15 Oct 1998 17:05:40 -0700 Message-Id: <199810160005.RAA22044@photon.csl.sri.com> From: David Monniaux MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: caml-list@inria.fr Subject: Objective Caml 2 with RedHat 5.1 In-Reply-To: <3624BDB3.82231609@cee.hw.ac.uk> References: <3624BDB3.82231609@cee.hw.ac.uk> X-Mailer: VM 6.33 under Emacs 19.34.1 Sender: weis My experience is that OCaml doesn't compile correctly with: * Intel / gcc 2.7.2.1 * Intel / gcc 2.8.1 \ same symptoms * Intel / egcs / I tried to send a bug report to the egcs-bug mailing list but apparently it got lost somewhere. I suppose it'd be more appropriate if X. Leroy, for instance, tried to do the bug report. I suggest you grab the binary RPM. If you still want to compile byterun yourself, go grab a gcc 2.7.2.3. -- David Monniaux, PhD student at ENS, Paris, France Now at: Computer science laboratory SRI International Formal methods group Menlo Park, CA, US http://www.csl.sri.com/~monniaux