From: Damien Doligez <damien.doligez@inria.fr>
To: Dave Lewis <ocamljob20091123@gmail.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] compiling OCaml program for supercomputer running SGI Propack 6?
Date: Fri, 18 Dec 2009 17:58:50 +0100 [thread overview]
Message-ID: <3DC4D16E-C188-4476-9304-3C40C2C94919@inria.fr> (raw)
In-Reply-To: <b950702a0912171028n1fa67d6cg249bc02358064da0@mail.gmail.com>
Hi,
On 2009-12-17, at 19:28, Dave Lewis wrote:
> [Apologies for duplication across mailing lists.]
>
> Hi - I'd like to run this OCaml program: [...]
> on the 3TB memory supercomputer described here
> http://www.ncsa.illinois.edu/UserInfo/Resources/Hardware/SGIAltix/Tec
> ...
>
> It appears that the OS, SGI ProPack 6 [...]
>
> is a version of Linux, but the 64-bit Linux compilation we produced
>
> using the OCaml 3.10 compiler gives this error message:
>
> Exec format error. Binary file not executable.
>
It looks like you are trying to run Pentium executables on an Itanium
machine. If the supercomputer is available for compiling, you should
bootstrap and install OCaml on that machine, otherwise you'll need to
find a smaller Itanium-based machine to compile your program (and hope
the executables will be compatible), or make a cross-compiler to run
on your PC.
Making a cross-compiler is quite a lot harder than installing OCaml on
the target machine directly, but you have a how-to here:
http://brion.inria.fr/gallium/index.php/CrossCompiler
-- Damien
prev parent reply other threads:[~2009-12-18 16:58 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-12-17 18:28 Dave Lewis
2009-12-18 16:51 ` [Caml-list] " ds.caml
2009-12-18 16:58 ` Damien Doligez [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=3DC4D16E-C188-4476-9304-3C40C2C94919@inria.fr \
--to=damien.doligez@inria.fr \
--cc=caml-list@yquem.inria.fr \
--cc=ocamljob20091123@gmail.com \
/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;
as well as URLs for NNTP newsgroup(s).