Re: MELT tutorial on the wiki

2009-08-23 Thread Ralf Wildenhues
Hello, * Dave Korn wrote on Sat, Aug 01, 2009 at 08:41:10AM CEST: > Tom Tromey wrote: > > > I looked into this a little. It looks like the PPL checks don't work > > properly in the case where PPL is a system library. I guess I need > > --with-ppl=/usr ... I will try that later. > > Were you

Re: MELT tutorial on the wiki

2009-08-04 Thread Dave Korn
Tom Tromey wrote: >> "Dave" == Dave Korn writes: > > Dave> Were you using a --prefix? The PPL checks (by design I think) only > Dave> look for PPL in your prefix. > > Dave> I do not know it; I have merely observed the behaviour. It may > Dave> even not be by design for all I know, though

Re: MELT tutorial on the wiki

2009-08-03 Thread Basile STARYNKEVITCH
Tom Tromey wrote: Basile> Thanks for the bug report. In fact, melt_generated_dir should be the Basile> same as melt_source_dir Basile> I just committed rev 150330 of MELT branch to fix that. Tom, could you Basile> be patient & kind enough to try again! Many thanks! Thanks, that worked. Now to a

Re: MELT tutorial on the wiki

2009-08-03 Thread Tom Tromey
Basile> Thanks for the bug report. In fact, melt_generated_dir should be the Basile> same as melt_source_dir Basile> I just committed rev 150330 of MELT branch to fix that. Tom, could you Basile> be patient & kind enough to try again! Many thanks! Thanks, that worked. Now to actually try MELT...

Re: MELT tutorial on the wiki

2009-08-03 Thread Tom Tromey
> "Paolo" == Paolo Bonzini writes: Paolo> MELT looks extremely cool! You may want to use this too, however: Paolo> http://lwn.net/Articles/315686/ Yes, I'm also looking at Coccinelle and TreeHydra. As this is strictly a spare-time project, I am trying to find the approach that requires the

Re: MELT tutorial on the wiki

2009-08-03 Thread Tom Tromey
> "Dave" == Dave Korn writes: Dave> Were you using a --prefix? The PPL checks (by design I think) only Dave> look for PPL in your prefix. Dave> I do not know it; I have merely observed the behaviour. It may Dave> even not be by design for all I know, though I suspect it makes Dave> sense

Re: MELT tutorial on the wiki

2009-08-02 Thread Paolo Bonzini
Tom> I looked into this a little. It looks like the PPL checks don't work Tom> properly in the case where PPL is a system library. I guess I need Tom> --with-ppl=/usr ... I will try that later. I don"t know really how to fix that quickly! I must confess that autoconf related files in GCC scare

Re: MELT tutorial on the wiki

2009-08-01 Thread Basile STARYNKEVITCH
Paolo Bonzini wrote: For example, gdb has function that in the past could return null, but which now cannot. So, I'd like to find all places where the return result is checked. Or, gdb has a TRY_CATCH macro which expands to a couple of nested loops. It is not ok to 'return' or 'goto' from insid

Re: MELT tutorial on the wiki

2009-08-01 Thread Paolo Bonzini
For example, gdb has function that in the past could return null, but which now cannot. So, I'd like to find all places where the return result is checked. Or, gdb has a TRY_CATCH macro which expands to a couple of nested loops. It is not ok to 'return' or 'goto' from inside the inner loop, as t

Re: MELT tutorial on the wiki

2009-08-01 Thread Ralf Wildenhues
* Basile STARYNKEVITCH wrote on Sat, Aug 01, 2009 at 08:10:24AM CEST: > I don"t know really how to fix that quickly! I must confess that > autoconf related files in GCC scares me a big lot. BTW, I really > cannot imagine why GCC still required autoconf 2.59 specifically, > and not 2.63. What is so

Re: MELT tutorial on the wiki

2009-07-31 Thread Dave Korn
Basile STARYNKEVITCH wrote: > Dave Korn wrote: >> Tom Tromey wrote: >> >>> I looked into this a little. It looks like the PPL checks don't work >>> properly in the case where PPL is a system library. I guess I need >>> --with-ppl=/usr ... I will try that later. >> >> Were you using a --prefix?

Re: MELT tutorial on the wiki

2009-07-31 Thread Basile STARYNKEVITCH
Dave Korn wrote: Tom Tromey wrote: I looked into this a little. It looks like the PPL checks don't work properly in the case where PPL is a system library. I guess I need --with-ppl=/usr ... I will try that later. Were you using a --prefix? The PPL checks (by design I think) only look fo

Re: MELT tutorial on the wiki

2009-07-31 Thread Dave Korn
Tom Tromey wrote: > I looked into this a little. It looks like the PPL checks don't work > properly in the case where PPL is a system library. I guess I need > --with-ppl=/usr ... I will try that later. Were you using a --prefix? The PPL checks (by design I think) only look for PPL in your p

Re: MELT tutorial on the wiki

2009-07-31 Thread Basile STARYNKEVITCH
Tom Tromey wrote: Tom> I looked into this a little. It looks like the PPL checks don't work Tom> properly in the case where PPL is a system library. I guess I need Tom> --with-ppl=/usr ... I will try that later. I don"t know really how to fix that quickly! I must confess that autoconf relate

Re: MELT tutorial on the wiki

2009-07-31 Thread Tom Tromey
Tom> I looked into this a little. It looks like the PPL checks don't work Tom> properly in the case where PPL is a system library. I guess I need Tom> --with-ppl=/usr ... I will try that later. This worked but now I get an error because melt_generated_dir is not defined in gcc/Makefile. I don't

Re: MELT tutorial on the wiki

2009-07-31 Thread Tom Tromey
> "Basile" == Basile STARYNKEVITCH writes: Basile> My current belief is that MELT is easier built (and used) as a Basile> GCC-trunk (or future GCC-4.5) plugin melt.so. Yeah, I looked at this, but I really wanted something where I did not have to do much work... no applying patches or hacking

Re: MELT tutorial on the wiki

2009-07-30 Thread Basile STARYNKEVITCH
Tom Tromey wrote: "Basile" == Basile STARYNKEVITCH writes: Hi Basile. Basile> I added as a turorial on the wiki, a small MELT pass which warns Basile> against fprintf(stdout, ...) in the compiled code. Basile> For GCC hackers, is the page Basile> http://gcc.gnu.org/wiki/writing%20a%20pass%20

Re: MELT tutorial on the wiki

2009-07-30 Thread Tom Tromey
> "Basile" == Basile STARYNKEVITCH writes: Hi Basile. Basile> I added as a turorial on the wiki, a small MELT pass which warns Basile> against fprintf(stdout, ...) in the compiled code. Basile> For GCC hackers, is the page Basile> http://gcc.gnu.org/wiki/writing%20a%20pass%20in%20MELT Basil