axiom-mail
[Top][All Lists]
Advanced

[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




reply via email to

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