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 RAA07683 for caml-red; Wed, 31 Jan 2001 17:34:51 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA29306 for <caml-list@pauillac.inria.fr>; Wed, 31 Jan 2001 13:50:26 +0100 (MET)
Received: from cremant.inria.fr (cremant.inria.fr [128.93.8.143])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f0VCoQX26178
	for <caml-list@inria.fr>; Wed, 31 Jan 2001 13:50:26 +0100 (MET)
Received: (from lefessan@localhost)
	by cremant.inria.fr (8.11.0/8.11.0) id f0VCoQx11020;
	Wed, 31 Jan 2001 13:50:26 +0100
X-Authentication-Warning: cremant.inria.fr: lefessan set sender to fabrice.le_fessant@inria.fr using -f
From: Fabrice Le Fessant <fabrice.le_fessant@inria.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14968.2578.85765.814277@cremant.inria.fr>
Date: Wed, 31 Jan 2001 13:50:26 +0100 (CET)
To: caml-list@inria.fr
Subject: Re: Ocaml VM and bytecode
X-Mailer: VM 6.75 under Emacs 20.7.1
Reply-To: fabrice.le_fessant@inria.fr
Sender: weis@pauillac.inria.fr


 
> Here is a patch to lattest ocaml CVS version, allowing direct
> compilation of text bytecode instructions to .cmo files.
> 
> Text bytecode instructions files should have extension .ocb (Objective
> Caml Bytecode), and have the same format as the output from ocamlc
> with -dinstr.
> 
> For example:
> 
> ocamlc -c -dinstr test.ml 2> test.ocb
> 
> should give almost the same .cmo files as 
> 
> ocamlc -c test.ocb
> 
> (the interface test.cmi is empty, so the CRCs are different in the
> .cmo file)

Since the attachment was not accepted by the TOO STRICT :)
mailing-list moderator, I have put the PATCH on

http://pauillac.inria.fr/~lefessan/src/patch.ocamlc.as

The patch should be used in the current CVS directory csl/ with
the shell command:

# patch -p1 < patch.ocamlc.as

Regards,

-- Fabrice