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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
