From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
To: jove@newmail.ru
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] different arch.
Date: Tue, 21 Oct 2003 10:22:36 +0900 [thread overview]
Message-ID: <20031021102236L.garrigue@kurims.kyoto-u.ac.jp> (raw)
In-Reply-To: <200310202055.23728.jove@newmail.ru>
From: Vladimir Skokov <jove@newmail.ru>
> I have the following problem:
> there is ocaml compiler on the first machine (Linux, i386)
> there is no ocaml compiler and there is no way to install it on the second
> machine (Irix, Silicon Graphics)
> How can I run my ocaml program on the second machine?
> Of course, gcc is installed on both!
What do you mean by "no way to install it"?
Certainly ocaml can be installed on Irix, both bytecode and native
code working.
And you can of course install under your home directory.
Is it just that you have only limited space allowed?
For bytecode alone, a few megabytes should be sufficient.
If your program does not use any native libraries (unix, str,
caml/labltk, threads), another option is to compile it to bytecode
under linux, and only build the ocamlrun executable under Irix, since
it is only about 200k. The you can run your program with
ocamlrun myprog
on the Irix machine.
You don't even need to extract the full distribution for that:
configure, config/*, byterun/* should suffice.
Jacques Garrigue
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2003-10-21 1:22 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-20 16:55 Vladimir Skokov
2003-10-21 1:22 ` Jacques Garrigue [this message]
2003-10-21 4:19 ` Vladimir Skokov
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=20031021102236L.garrigue@kurims.kyoto-u.ac.jp \
--to=garrigue@kurims.kyoto-u.ac.jp \
--cc=caml-list@inria.fr \
--cc=jove@newmail.ru \
/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).