From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Suzanne Wood <suzannew@cs.pdx.edu>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] ocaml-3.08.3 for blast model checker
Date: Fri, 02 Dec 2005 09:52:10 +0100 [thread overview]
Message-ID: <43900B3A.3070501@inria.fr> (raw)
In-Reply-To: <200512020033.jB20Xgeb008376@rastaban.cs.pdx.edu>
[-- Attachment #1: Type: text/plain, Size: 224 bytes --]
> 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
[-- Attachment #2: patch --]
[-- Type: text/plain, Size: 1958 bytes --]
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;
prev parent reply other threads:[~2005-12-02 8:52 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-12-02 0:33 Suzanne Wood
2005-12-02 8:52 ` Xavier Leroy [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=43900B3A.3070501@inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=suzannew@cs.pdx.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox