[Top][All Lists]

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

Re: [Axiom-developer] noweb tarball

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] noweb tarball
Date: Mon, 30 Apr 2007 05:50:25 -0500 (CDT)

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.

-- Gaby

reply via email to

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