axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] noweb and SVN


From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] noweb and SVN
Date: 21 Mar 2007 14:40:24 -0500

"Bill Page" <address@hidden> writes:

[...]

| > I think the the most natural solution for this problem is to
| > require already installed external noweb.
| > 
| 
| I agree. In fact I think it would be best to also require
| external gcl. We can do what is necessary to warn and advise
| the user what to do when noweb or gcl are not found and we
| can supply a non-trunk copy of these in the Axiom repository.

OK, I'll implement the removal of noweb from the source code.
However, we must document the dependency and point to/put a copy of
readly available noweb.

I'm less enthousistic about the removal of GCL for the moment.

-- Gaby




reply via email to

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