[Top][All Lists]

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

[Axiom-developer] compiling axiom after latest tree update (notangle cha

From: David MENTRE
Subject: [Axiom-developer] compiling axiom after latest tree update (notangle change)
Date: Sat, 29 Nov 2003 17:11:30 +0100
User-agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux)


I don't remember if some of you had this issue but after Tim changed the
source tree (to distinguish between Axiom's noweb and system's noweb),
it was no longer possible to do a 'make' in the root directory, with an
error message like '..../mnt/linux/bin/notangle: file not found'. The
solution is to do a 'make nowebclean' before doing a new
'make'. nowebclean targets reases noweb tools, thus at next make they
will be rebuild and the build system will find its notangle.

David MENTRE <address@hidden> --

reply via email to

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