[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] noweb tarball

From: Waldek Hebisch
Subject: Re: [Axiom-developer] noweb tarball
Date: Mon, 30 Apr 2007 13:42:54 +0200 (CEST)

Gabriel Dos Reis wrote:
> On Mon, 30 Apr 2007, Waldek Hebisch wrote:
> > > In config/ 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/
> If axiom_optional_srcdir has value other than $(abs_top_srcdir)/zips, 
> then I think you must be considering a different variable.

I am open to suggestions here but I do not understand in which direction
you are heading.  

IIUC Bill was pointing out that the code I commited in two different
placed contained location of noweb sources -- that can be avoided
propagating value from configure via config/

I had intended to just use $(abs_top_srcdir)/zips (without change),
but appearently Bill wants more flexibility.

                              Waldek Hebisch

reply via email to

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