[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jean-Christophe Filliatre <filliatr@c...> |
| Subject: | Re: Loading Bytecodes |
> 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