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