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 VAA07432 for caml-redistribution; Fri, 11 Jul 1997 21:00:14 +0200 (MET DST) 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 JAA21127 for ; Thu, 10 Jul 1997 09:32:49 +0200 (MET DST) Received: from xn1-gw.atlas.fr (xn1-b.atlas.fr [194.51.9.50]) by concorde.inria.fr (8.8.5/8.7.3) with ESMTP id JAA28547 for ; Thu, 10 Jul 1997 09:32:48 +0200 (MET DST) X400-Received: by /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Thu, 10 Jul 1997 09:32:26 +0200 X400-Received: by mta xn1-gw.atlas.fr in /PRMD=INTERNET/ADMD=ATLAS/C=FR/; Relayed; Thu, 10 Jul 1997 09:32:26 +0200 X400-Received: by /ADMD=ATLAS/C=FR/; Relayed; Thu, 10 Jul 1997 09:31:57 +0200 X400-Received: by /PRMD=cnet/ADMD=atlas/C=fr/; Relayed; Thu, 10 Jul 1997 09:29:50 +0200 Date: Thu, 10 Jul 1997 09:29:50 +0200 X400-Originator: montanuy@lannion.cnet.fr X400-Recipients: non-disclosure:; X400-MTS-Identifier: [/PRMD=cnet/ADMD=atlas/C=fr/;868519793@x400.lannion.cnet.fr] X400-Content-Type: P2-1984 (2) Content-Identifier: Re: Patches for Alternate-Recipient: Allowed From: Olivier Montanuy Message-ID: <33C48E6D.1346B2CB@lannion.cnet.fr> To: caml-list@pauillac.inria.fr References: Subject: Re: Patches for ?line directives? Organization: FT/CNET/LAA X-Mailer: Mozilla 3.01Gold (X11; I; Linux 2.0.27 i586) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Paul Stodghill wrote: > > Are there any patches floating around to make Caml-light and/or O'Caml > support the #line directive? In particular, I'm using noweb to >... Pierre Cregut told me to add this to the Makefile: .nwm.ml: notangle -Rml -L'# %L "%F"%N' $*.nwm | cpif $*.ml .nwm.mli: notangle -Rmli -L'# %L "%F"%N' $*.nwm | cpif $*.mli It works fine, but then forget about reading the .ml or .mli files, because those #line make them real ugly. -- Olivier Montanuy FT/CNET/DES/GRL montanuy@lannion.cnet.fr