[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] RE: noweb "bug" (was: article "standard" header/footer

From: Page, Bill
Subject: [Axiom-developer] RE: noweb "bug" (was: article "standard" header/footer)
Date: Wed, 14 Dec 2005 13:43:03 -0500


On Wednesday, December 14, 2005 1:13 PM you wrote:
> Bill Page wrote:
> > Or does the Debian build actually rebuild noweb? 
> I haven't touched axiom's use of noweb, apart from not shipping
> special noweb binaries.  You can look at a sample build log here:

I see here:
13 making noweb
patching file modules.c
patching file Makefile

So noweb is patched and built specifically for Axiom's use as is
done now in the the main source distribution.

> Of course, the treatment here may be lacking, and I'd be happy
> to incorporate any suggestions.

It looks fine to me except my preference would be to require
a pre-installed noweb and use the -filter script instead of
patching the sources... but we will get to that in time as part
of the main distribution.

Thanks for your input.

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]