From: Suzanne Wood <suzannew@cs.pdx.edu>
To: caml-list@inria.fr
Subject: ocaml-3.08.3 for blast model checker
Date: Thu, 1 Dec 2005 16:33:42 -0800 (PST) [thread overview]
Message-ID: <200512020033.jB20Xgeb008376@rastaban.cs.pdx.edu> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1265 bytes --]
Having had no problem installing ocaml-3.09.0, it looks like I need
to install ocaml-3.08.3 for use with the UC Berkeley Blast software
model checker, per the following advisory:
"Release note: We have to distribute one part of Blast precompiled
(the foci library, which implements the craig interpolation),
because the code is copyrighted by Cadence labs, Berkeley.
Unfortunately, this precompiled piece is not compatible with OCaml
3.08.04.
A working example configuration for compiling Blast 2.0 is
OCaml 3.08.3 and gcc (GCC) 3.4.4 20050721 (Red Hat 3.4.4-2).
--Dirk 2005-10-18"
But, in trying to compile ocaml-3.08.3, "make world" dies with:
make[1]: Leaving directory ` /ocaml-3.08.3/otherlibs/str'
make[1]: Entering directory ` /ocaml-3.08.3/otherlibs/num'
gcc -O -I../../byterun -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64
-D_REENTRANT -fPIC -DBNG_ARCH_ia32 -DBNG_ASM_LEVEL=2 -c -o bng.o bng.c
In file included from bng.c:21:
bng_ia32.c: In function ‘bng_ia32_mult_sub_digit’:
bng_ia32.c:153: error: can't find a register in class ‘GENERAL_REGS’
while reloading ‘asm’
make[1]: *** [bng.o] Error 1
make[1]: Leaving directory ` /ocaml-3.08.3/otherlibs/num'
make: *** [otherlibraries] Error 2
Thank you for any suggestion about how to proceed.
next reply other threads:[~2005-12-02 0:34 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-12-02 0:33 Suzanne Wood [this message]
2005-12-02 8:52 ` [Caml-list] " Xavier Leroy
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=200512020033.jB20Xgeb008376@rastaban.cs.pdx.edu \
--to=suzannew@cs.pdx.edu \
--cc=caml-list@inria.fr \
/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