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"

    > 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
    



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