[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Re: noweb
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-mail] Re: noweb |
Date: |
08 Aug 2006 22:43:53 +0200 |
"Page, Bill" <address@hidden> writes:
[...]
| Oddly, it seems that Tim did not understand your question.
|
| Your initial assumption is correct. For Axiom, noweb is
| *only* a build utility. It is not required for running
| Axiom. It should not be installed when running the Axiom
| 'make install'. All we should be "installing" are the
| files necessary to use Axiom -- not to build it. As usual
| the build directories will remain intact after the install
| and would continue to be available for Axiom development
| (if desired).
Many thanks!
So, to sum up, can I assume that the installation of scripts files in
src/scripts is bogus?
-- Gaby
- [Axiom-mail] noweb, Gabriel Dos Reis, 2006/08/03
- [Axiom-mail] Re: noweb, root, 2006/08/03
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/08
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/08
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08