Re: [Axiom-developer] noweb and SVN

2007-03-21 Thread Gabriel Dos Reis
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | "Bill Page" <[EMAIL PROTECTED]> writes: | | [...] | | | > I think the the most natural solution for this problem is to | | > require already installed external noweb. | | > | | | | I agree. In fact I think it would be best to also require | | exte

Re: [Axiom-developer] noweb and SVN

2007-03-21 Thread Gabriel Dos Reis
"Bill Page" <[EMAIL PROTECTED]> writes: [...] | > I think the the most natural solution for this problem is to | > require already installed external noweb. | > | | I agree. In fact I think it would be best to also require | external gcl. We can do what is necessary to warn and advise | the use

RE: [Axiom-developer] noweb and SVN

2007-03-21 Thread Bill Page
On March 21, 2007 1:39 PM Waldek Hebisch wrote: > ... > We have the same problem with few critical build files, > notably with Makefile.in. > Yes, I confirm that sometimes this is problem. Sometimes I have to 'touch' the Makefiles. > I think the the most natural solution for this problem is to

Re: [Axiom-developer] noweb and SVN

2007-03-21 Thread Gabriel Dos Reis
Ralf Hemmecke <[EMAIL PROTECTED]> writes: [...] | > 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 |

Re: [Axiom-developer] noweb and SVN

2007-03-21 Thread Gabriel Dos Reis
Waldek Hebisch <[EMAIL PROTECTED]> writes: | 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

Re: [Axiom-developer] noweb and SVN

2007-03-21 Thread 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

[Axiom-developer] noweb and SVN

2007-03-21 Thread Waldek Hebisch
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 a