[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: noweb
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Re: noweb |
Date: |
04 May 2006 05:04:36 +0200 |
root <address@hidden> writes:
| Bill,
|
| > Please forgive my irritation but this issue *has* been discussed
| > repeatedly on this list. Most recently see:
|
| i realize that the current solution is an irritation to you.
| i'd suggest that you check out a copy of axiom and integrate
| the patch. it's not as simple as it seems. fully integrating
| the patch involves, at least,
|
| *) change configure to check for an installed noweb
| *) if noweb is not installed build it
My current Autoconf work does that. It builds noweb at configure time
if none of the noweb utility is found. It currently does that for the build
platform; it will do it for the target platform if necessary.
| *) if noweb is installed check to see if the filter already exists
I can do this if I'm given sufficient detail of how to detect the
problem and where the filter could possibly reside.
-- Gaby