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 KAA08022; Thu, 22 Feb 2001 10:12:11 +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 KAA07979 for ; Thu, 22 Feb 2001 10:12:10 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f1M9C7D19684; Thu, 22 Feb 2001 10:12:07 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA08064; Thu, 22 Feb 2001 10:12:07 +0100 (MET) Date: Thu, 22 Feb 2001 10:12:07 +0100 From: Xavier Leroy To: chris@satel.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocamlopt/IRIX Message-ID: <20010222101207.C7829@pauillac.inria.fr> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: ; from chris@satel.com on Wed, Feb 21, 2001 at 03:40:18PM -0700 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Is it possible to build the native compiler on IRIX using gcc? Yes, it works fine here (with gcc 2.95 on IRIX 6.5), but you have to override manually some of the (slightly misguided) decisions made by the "configure" script: ./configure -cc gcc then edit config/Makefile and replace the lines NATIVECC=... NATIVECCOMPOPTS=... by NATIVECC=gcc NATIVECCCOMPOPTS=-Wall -Wno-unused In the forthcoming release 3.01 of OCaml, the "configure" script is fixed to always honor the user-provided C compiler, if any, and revert to the "gcc for bytecode / cc for native code" combination otherwise. If you encounter any problems, please report them to caml-bugs@inria.fr. - Xavier Leroy ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr