|
From: | Ralf Hemmecke |
Subject: | Re: [Axiom-developer] pamphlet problems |
Date: | Tue, 08 Aug 2006 00:53:31 +0200 |
User-agent: | Thunderbird 1.5.0.5 (X11/20060719) |
Well, that notangle src/hyper/token.pamphlet > dummy undefined chunk name: <<token.c>>error occurs if you run "original" notangle on token.pamphlet. So either my Silver/build-improvement version uses its own (modified) notangle or notangle is never called on that file.
But I've now run (axiom--main--1)mnt/linux/bin/lib/notangle src/hyper/token.pamphlet
echo $? and got error code 2.So the question is actually not about a dependency on noweb but it shows a bug in a Makefile. Why is that error ignored? Or is token.c never generated? The latter seems to be the case. So what do we need token.pamphlet for?
Ralf On 08/07/2006 11:12 PM, Bill Page wrote:
Ralf, On August 5, 2006 8:17 PM you wrote:In order to remove the need to distribute a version of noweb with Axiom, we must modify the sources a bit.I must have missed something. Why do you think there is a need to distribute noweb with Axiom? From my point of view noweb is just a dependency like several other packages required to build axiom.
[Prev in Thread] | Current Thread | [Next in Thread] |