[Top][All Lists]

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

Re: [Axiom-developer] noweb and SVN

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] noweb and SVN
Date: Wed, 21 Mar 2007 19:20:36 +0100
User-agent: Thunderbird 2.0b2 (X11/20070116)

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

If this is generated from 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.


reply via email to

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