From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA17133 for caml-redistribution; Wed, 1 Mar 2000 17:23:49 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA11077 for ; Tue, 29 Feb 2000 00:19:50 +0100 (MET) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id AAA15494 for ; Tue, 29 Feb 2000 00:19:48 +0100 (MET) Received: from cylinder.csl.sri.com (IDENT:filliatr@cylinder.csl.sri.com [130.107.15.112]) by csla.csl.sri.com (8.9.1/8.9.1) with ESMTP id PAA02565; Mon, 28 Feb 2000 15:19:47 -0800 (PST) Received: (from filliatr@localhost) by cylinder.csl.sri.com (8.9.3/8.8.7) id PAA16428; Mon, 28 Feb 2000 15:19:45 -0800 X-Authentication-Warning: cylinder.csl.sri.com: filliatr set sender to filliatr@cylinder.csl.sri.com using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14523.657.749853.530401@cylinder.csl.sri.com> Date: Mon, 28 Feb 2000 15:19:45 -0800 (PST) To: Ravi Chamarty Cc: caml-list@inria.fr Subject: Re: Loading Bytecodes In-Reply-To: References: X-Mailer: VM 6.62 under Emacs 20.4.1 Reply-To: filliatr@csl.sri.com (Jean-Christophe Filliatre) Sender: weis > 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