From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id BD3F7BB81 for ; Fri, 2 Dec 2005 09:52:26 +0100 (CET) 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 jB28qQca029384 for ; Fri, 2 Dec 2005 09:52:26 +0100 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 JAA21821 for ; Fri, 2 Dec 2005 09:52:25 +0100 (MET) Received: from [128.93.11.95] (estephe.inria.fr [128.93.11.95]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jB28qAM2029357 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 2 Dec 2005 09:52:10 +0100 Message-ID: <43900B3A.3070501@inria.fr> Date: Fri, 02 Dec 2005 09:52:10 +0100 From: Xavier Leroy User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050322) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Suzanne Wood Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-3.08.3 for blast model checker References: <200512020033.jB20Xgeb008376@rastaban.cs.pdx.edu> In-Reply-To: <200512020033.jB20Xgeb008376@rastaban.cs.pdx.edu> X-Enigmail-Version: 0.90.0.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/mixed; boundary="------------010307040809060309070103" X-Miltered: at nez-perce with ID 43900B4A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43900B3A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml-:01 3.08.3:01 model:01 checker:01 ocaml-:01 otherlibs:01 3.08.4:01 equivalently:01 3.08.3:01 otherlibs:01 decl:01 decl:01 compile:01 csl:01 X-Attachments: name="patch" name="patch" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 This is a multi-part message in MIME format. --------------010307040809060309070103 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit > But, in trying to compile ocaml-3.08.3, "make world" dies with: > [...] You could take otherlibs/num/bng_ia32.c from the 3.08.4 distribution. Equivalently, apply the attached patch to your 3.08.3 sources. - Xavier Leroy --------------010307040809060309070103 Content-Type: text/plain; name="patch" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="patch" Index: bng_ia32.c =================================================================== RCS file: /net/yquem/devel/caml/repository/csl/otherlibs/num/bng_ia32.c,v retrieving revision 1.3.6.1 retrieving revision 1.3 diff -c -r1.3.6.1 -r1.3 *** bng_ia32.c 20 Jul 2005 08:18:59 -0000 1.3.6.1 --- bng_ia32.c 26 Oct 2003 09:51:11 -0000 1.3 *************** *** 11,17 **** /* */ /***********************************************************************/ ! /* $Id: bng_ia32.c,v 1.3.6.1 2005/07/20 08:18:59 xleroy Exp $ */ /* Code specific to the Intel IA32 (x86) architecture. */ --- 11,17 ---- /* */ /***********************************************************************/ ! /* $Id: bng_ia32.c,v 1.3 2003/10/26 09:51:11 xleroy Exp $ */ /* Code specific to the Intel IA32 (x86) architecture. */ *************** *** 121,128 **** "leal 4(%1), %1 \n\t" "decl %2 \n\t" "jnz 1b" ! : "+&r" (a), "+&r" (b), "+&r" (blen), "=m" (out) ! : "m" (d) : "eax", "edx"); } if (alen == 0) return out; --- 121,128 ---- "leal 4(%1), %1 \n\t" "decl %2 \n\t" "jnz 1b" ! : "+&r" (a), "+&r" (b), "+&rm" (blen), "+&r" (out) ! : "rm" (d) : "eax", "edx"); } if (alen == 0) return out; *************** *** 164,171 **** "leal 4(%1), %1 \n\t" "decl %2 \n\t" "jnz 1b" ! : "+&r" (a), "+&r" (b), "=m" (blen), "=m" (out), "=&r" (tmp) ! : "m" (d) : "eax", "edx"); } if (alen == 0) return out; --- 164,171 ---- "leal 4(%1), %1 \n\t" "decl %2 \n\t" "jnz 1b" ! : "+&r" (a), "+&r" (b), "+&rm" (blen), "+&rm" (out), "=&r" (tmp) ! : "rm" (d) : "eax", "edx"); } if (alen == 0) return out; --------------010307040809060309070103--