Hi Erik, Thank you for your time. I finally elucidated the mystery of .antlr.tmp files. ANTLR 2.7.2 incorporates a mechanism to avoid the generation of files identical to existing ones (and therefore avoiding unnecessary recompilation). It uses a brute-force approach: writes the output in some temporary files, then check the identity of contents with existing files. If existing files are identical to newly generated ones, they are not overwritten. Unfortunately, there is a bug that prevents the temporary files to be deleted in the end. The bug is known and will be fixed in a future release.
Regards, Bogdan --- Erik Meade <[EMAIL PROTECTED]> wrote: > I've made time to apply Bogdan's patch (with his help getting me back up > to > speed on ANTLR). > > +1 > > Bogdan's email should probably be listed above mine as @author, he has not > done > more work on the ANTLR task than I have now. > > Wish we got more patches of this quality over on JUnit. > > Erik Meade > http://junit.org > [EMAIL PROTECTED] > > > -----Original Message----- > > From: Bogdan Mitu [mailto:[EMAIL PROTECTED] > > Sent: Tuesday, May 28, 2002 1:49 AM > > To: Ant Developers List > > Subject: Re: ANTLR task improvements > > > > > > Hi Stefan, > > > > Thanks for your response. Maybe Erik Meade will find some time to look > at > > it. > > > > Regards, > > Bogdan > > > > --- Stefan Bodewig <[EMAIL PROTECTED]> wrote: > > > On Mon, 27 May 2002, Bogdan Mitu <[EMAIL PROTECTED]> wrote: > > > > > > > I send two weeks ago a patch for the ANTLR task, and I'm wondering > > > > if it was received, > > > > > > yes. > > > > > > I for one haven't found the time to look at it at all, sorry. As I > > > don't use antlr myself, it is hard for me to test or even judge > > > whether your patch should be applied. > > > > > > I'll try to find time for it, but really would prefer if someone else > > > looked into it. > > > > > > Stefan > > > > > > -- > > > To unsubscribe, e-mail: > > <mailto:[EMAIL PROTECTED]> > > > For additional commands, e-mail: > > <mailto:[EMAIL PROTECTED]> > > > > > > > > > __________________________________________________ > > Do You Yahoo!? > > Yahoo! - Official partner of 2002 FIFA World Cup > > http://fifaworldcup.yahoo.com > > > > -- > > To unsubscribe, e-mail: > <mailto:[EMAIL PROTECTED]> > > For additional commands, e-mail: > <mailto:[EMAIL PROTECTED]> > > > -- > To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> > For additional commands, e-mail: <mailto:[EMAIL PROTECTED]> > __________________________________________________ Do You Yahoo!? Yahoo! - Official partner of 2002 FIFA World Cup http://fifaworldcup.yahoo.com -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
