From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4SG1PiI031754 for ; Sat, 28 May 2011 18:01:25 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EALQb4U1QRFuw/2dsb2JhbABVpj93xWGGHgSfag X-IronPort-AV: E=Sophos;i="4.65,286,1304287200"; d="scan'208";a="95623880" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 28 May 2011 18:01:20 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1QQLx1-00085C-OP; Sat, 28 May 2011 17:01:19 +0100 Date: Sat, 28 May 2011 17:01:19 +0100 From: "Richard W.M. Jones" To: Ramanuj Bhattacharyya Cc: caml-list@inria.fr, Ansuman Banerjee Message-ID: <20110528160119.GB9002@annexia.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.18 (2008-05-17) Subject: Re: [Caml-list] Not being able to build Ocaml in Fedora 12 On Sat, May 28, 2011 at 08:20:51PM +0530, Ramanuj Bhattacharyya wrote: > For one of our research papers, we have decided to use *CIL* as the > instrumentation tool. For that *Ocaml* is required. Unfortunately, I am not > being able to build Ocaml in Fedora 12. The respective gcc is : gcc-4.4.2. > Can you please let me know what mistakes I am doing ? I did not find the > help regarding fedora 12 and gcc-4.4.2 in any of the discussion forums. Feora 12 is well out of support. It's very unwise to use these old unsupported versions. In addition, OCaml and CIL are already in Fedora (OCaml since approximately forever), and indeed Fedora 15 has very the latest versions of both. You don't need to compile either from source. Rich. -- Richard Jones Red Hat