From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 8AEA5BC48 for ; Fri, 15 Apr 2005 21:37:39 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3FJbdbV023774 for ; Fri, 15 Apr 2005 21:37:39 +0200 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 VAA31603 for ; Fri, 15 Apr 2005 21:37:38 +0200 (MET DST) Received: from smtp7.wanadoo.fr (smtp7.wanadoo.fr [193.252.22.24]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j3FJbcol004048 for ; Fri, 15 Apr 2005 21:37:38 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0706.wanadoo.fr (SMTP Server) with ESMTP id 4994C1C0009D for ; Fri, 15 Apr 2005 21:37:38 +0200 (CEST) Received: from morgana (ARennes-351-1-12-113.w82-126.abo.wanadoo.fr [82.126.42.113]) by mwinf0706.wanadoo.fr (SMTP Server) with ESMTP id 1D47A1C0009B; Fri, 15 Apr 2005 21:37:38 +0200 (CEST) X-ME-UUID: 20050415193738120.1D47A1C0009B@mwinf0706.wanadoo.fr Received: from david by morgana with local (Exim 4.50) id 1DMWdG-0001Y9-IQ; Fri, 15 Apr 2005 21:37:38 +0200 To: John Carr Cc: caml-list@inria.fr Subject: Re: [Caml-list] 64 bit SPARC code generator updated for ocaml 3.08.3 References: <200504091859.j39Ixh44021630@psi-phi.mit.edu> From: David MENTRE Organization: none Date: Fri, 15 Apr 2005 21:37:38 +0200 In-Reply-To: <200504091859.j39Ixh44021630@psi-phi.mit.edu> (John Carr's message of "Sat, 09 Apr 2005 14:59:43 -0400") Message-ID: <874qe7vnjx.fsf@linux-france.org> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce with ID 42601803.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42601802.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 patched:01 ocaml:01 recognizes:01 odyl:01 config:01 odyl:01 config:01 ppo:01 -warn-error:01 otherlibs:01 dynlink:01 -impl:01 ppo:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: John Carr writes: > Although the patched ocaml recognizes other 64 bit SPARC operating > systems, I only have access to Solaris 9. I have tried your patch on linux sparc64. make opt.opt fails with following error: make[2]: Entering directory `/home/david/ocaml-sparc/ocaml-3.08.3/camlp4/odyl' cp odyl_config.ml odyl_config.ppo ../../ocamlcompopt.sh -warn-error A -I ../../otherlibs/dynlink -c -impl odyl_config.ppo ../tools/ocamlopt.sh: line 8: 11056 Segmentation fault $COMM $* make[2]: *** [odyl_config.cmx] Error 139 I have applied your previous modification for gnu asm issue. Yours, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A