Re: [Axiom-developer] noweb and SVN

[Ralf Hemmecke]

On 03/21/2007 06:39 PM, Waldek Hebisch wrote:
> Looking at build problem (reported in private mail) I noticed
> something which looks as serious incompatibility between svn
> and noweb.  Namely, AFAICS files retrived by svn get timestamp
> corresponding to time of retrival.  So, genereted files which
> are up to date in repository may look out of date after checkout.

I don't understand that. You must mean "working copy" instead of 
"repository". Why should "generated" files live inside the repository?

> Typically this is not a problem because if checkout is fast
> enough file and its dependencies get the same timestamp.
> But sometimes we may loose race and files are needlessly
> re-made, which again typically is not a big problem.  But
> to re-make noweb we need noweb, so for noweb this is fatal.

What kind of dependency is that? Noweb doesn't need noweb to build 
itself, so why would there be a dependency for the noweb that comes with 
the axiom sources at sourceforge?

> We have the same problem with few critical build files,
> notably with Makefile.in.

If this is generated from Makefile.in.pamphlet then eventually it should 
not live inside the repository.

> I think the the most natural solution for this problem is to require
> already installed external noweb.

That clearly gets my support.

Ralf