Re: [Axiom-developer] noweb tarball

2007-04-30 Thread Gabriel Dos Reis
On Mon, 30 Apr 2007, Waldek Hebisch wrote: > Gabriel Dos Reis wrote: > > On Mon, 30 Apr 2007, Waldek Hebisch wrote: > > > > > > In config/var-def.mk we have: > > > > > > > > axiom_optional_srcdir = $(abs_top_srcdir)/zips > > > > > > > > > > ATM axiom_optional_srcdir is not available in config

Re: [Axiom-developer] noweb tarball

2007-04-30 Thread Waldek Hebisch
Gabriel Dos Reis wrote: > On Mon, 30 Apr 2007, Waldek Hebisch wrote: > > > > In config/var-def.mk we have: > > > > > > axiom_optional_srcdir = $(abs_top_srcdir)/zips > > > > > > > ATM axiom_optional_srcdir is not available in configure, so we would > > have to set it in configure and propagate

Re: [Axiom-developer] noweb tarball

2007-04-30 Thread Gabriel Dos Reis
On Mon, 30 Apr 2007, Waldek Hebisch wrote: > > In config/var-def.mk we have: > > > > axiom_optional_srcdir = $(abs_top_srcdir)/zips > > > > ATM axiom_optional_srcdir is not available in configure, so we would > have to set it in configure and propagate to config/var-def.mk If axiom_optional_s

Re: [Axiom-developer] noweb tarball

2007-04-30 Thread Waldek Hebisch
Bill Page wrote: > On April 27, 2007 8:52 AM Waldek Hebisch wrote: > > > > Let me restate my position: in general I am against putting > > souces of prerequisities (especially as tarballs, but > > unpacked form is also bad) in Axiom svn repositiry. Of > > course, sometimes we want to make an exce

RE: [Axiom-developer] noweb tarball

2007-04-27 Thread Bill Page
On April 27, 2007 8:52 AM Waldek Hebisch wrote: > > > Waldek Hebisch writes: > > > > | Revision: 517 > > | http://svn.sourceforge.net/axiom/?rev=517&view=rev > > | Author: whebisch > > | Date: 2007-04-26 03:56:16 -0700 (Thu, 26 Apr 2007) > > | > > | Log Message: > > | ---

[Axiom-developer] noweb tarball

2007-04-27 Thread Waldek Hebisch
> [EMAIL PROTECTED] writes: > > | Revision: 517 > | http://svn.sourceforge.net/axiom/?rev=517&view=rev > | Author: whebisch > | Date: 2007-04-26 03:56:16 -0700 (Thu, 26 Apr 2007) > | > | Log Message: > | --- > | Add back support for noweb tarball. > > I reluctantly remove