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 to config/var-def.mk
> 
> 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/var-def.mk.

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

-- 
                              Waldek Hebisch
[EMAIL PROTECTED] 


_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to