Re: Loading Bytecodes

From: Jean-Christophe Filliatre (filliatr@csl.sri.com)
Date: Tue Feb 29 2000 - 00:19:45 MET

Next message: Xavier Leroy: "Re: Loading Bytecodes"

Previous message: Xavier Leroy: "Re: OCaml Virtual Machine"
In reply to: Ravi Chamarty: "Loading Bytecodes"
Next in thread: Xavier Leroy: "Re: Loading Bytecodes"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> 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

Next message: Xavier Leroy: "Re: Loading Bytecodes"
Previous message: Xavier Leroy: "Re: OCaml Virtual Machine"
In reply to: Ravi Chamarty: "Loading Bytecodes"
Next in thread: Xavier Leroy: "Re: Loading Bytecodes"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Wed Mar 01 2000 - 17:32:32 MET