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 22:19:57 -0500

Gabriel Dos Reis <address@hidden> writes:

| "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.

Done.

-- Gaby




reply via email to

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