[Top][All Lists]
[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