* Loading Bytecodes
@ 2000-02-27 23:26 Ravi Chamarty
2000-02-28 23:19 ` Jean-Christophe Filliatre
2000-02-29 10:29 ` Xavier Leroy
0 siblings, 2 replies; 3+ messages in thread
From: Ravi Chamarty @ 2000-02-27 23:26 UTC (permalink / raw)
To: caml-list
Hi,
I have ocaml made on both Linux and Unix. I have a helloworld.ml which
compiles and executes well on both the systems.How I can execute the
bytecodes generated from one system over another?
Thanks in advance,
Ravi
----------------------------------------------------------
Ravi S Chamarty E-mail: ravi@ittc.ukans.edu
Graduate Research Assistant, Voice :785-864-7799
ITTC,2291 Irving Hill Road,
University of Kansas,
Lawrence KS 66044-7541
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Loading Bytecodes
2000-02-27 23:26 Loading Bytecodes Ravi Chamarty
@ 2000-02-28 23:19 ` Jean-Christophe Filliatre
2000-02-29 10:29 ` Xavier Leroy
1 sibling, 0 replies; 3+ messages in thread
From: Jean-Christophe Filliatre @ 2000-02-28 23:19 UTC (permalink / raw)
To: Ravi Chamarty; +Cc: caml-list
> I have ocaml made on both Linux and Unix. I have a helloworld.ml which
> compiles and executes well on both the systems.How I can execute the
> bytecodes generated from one system over another?
The runtime system is called ocamlrun, and is used as follows:
ocamlrun bytecode-file
whatever the platform used to create "bytecode-file" was.
See the reference manual, chapter 9 for more details:
http://pauillac.inria.fr/ocaml/htmlman/manual022.html
Best regards,
--
Jean-Christophe Filliatre
Computer Science Laboratory Phone (650) 859-5173
SRI International FAX (650) 859-2844
333 Ravenswood Ave. email filliatr@csl.sri.com
Menlo Park, CA 94025, USA web http://www.csl.sri.com/~filliatr
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Loading Bytecodes
2000-02-27 23:26 Loading Bytecodes Ravi Chamarty
2000-02-28 23:19 ` Jean-Christophe Filliatre
@ 2000-02-29 10:29 ` Xavier Leroy
1 sibling, 0 replies; 3+ messages in thread
From: Xavier Leroy @ 2000-02-29 10:29 UTC (permalink / raw)
To: Ravi Chamarty, caml-list
> I have ocaml made on both Linux and Unix. I have a helloworld.ml which
> compiles and executes well on both the systems.How I can execute the
> bytecodes generated from one system over another?
Easy: transfer the bytecode executable file from one system to another.
Assume it's called exec.byt. Then run
ocamlrun exec.byt
on the second system. Or, edit the first line of exec.byt
(the one with #!) to put the full path of ocamlrun on the second system,
provided it supports the #! notation.
- Xavier Leroy
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2000-03-01 16:27 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-02-27 23:26 Loading Bytecodes Ravi Chamarty
2000-02-28 23:19 ` Jean-Christophe Filliatre
2000-02-29 10:29 ` Xavier Leroy
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox