Version française
Home     About     Download     Resources     Contact us    
Browse thread
Loading Bytecodes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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