axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] Re: Build-improvements - config.log


From: Gabriel Dos Reis
Subject: [Axiom-developer] Re: Build-improvements - config.log
Date: 09 Sep 2006 17:06:32 -0500

Hi,

[...]

| configure:2934: checking for notangle
| configure:2963: result: no
| configure:2969: checking for noweave
| configure:2998: result: no

configure detects that noweb is missing.  That is fine.

[...]

| NOTANGLE=''
| NOWEAVE=''

However, this is not right.  It is the consequence of a bogus logic I
knew of but failed to fix before commit. 
It is now fixed.  Sorry for that.





reply via email to

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