Date: Thu, 10 Jul 1997 09:29:50 +0200
From: Olivier Montanuy <montanuy@lannion.cnet.fr>
To: caml-list@pauillac.inria.fr
Subject: Re: Patches for ?line directives?
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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:11 MET