RE: [plugins] Branch for plugins development created

2009-02-08 Thread Grigori Fursin
Hi Diego, et al, As Sebastian mentioned INRIA finally signed copyright transfer form for FSF last year so our patches can be easily integrated into GCC. During this week, I will check the current GCC plugins branch and will send you more info about the current version of Interactive Compilation

Re: [plugins] Branch for plugins development created

2009-02-06 Thread Sebastian Pop
On Fri, Feb 6, 2009 at 2:49 PM, Diego Novillo wrote: > Before I can accept patches, however, I need to make sure that > everyone has copyright assignments on file. I know that Taras, Basile > and Le-Chun do. Sean and Grigori, do you folks have copyright papers > already? Grigori works for INRIA

Re: [plugins] Branch for plugins development created

2009-02-06 Thread Diego Novillo
On Fri, Feb 6, 2009 at 18:15, Gerald Pfeifer wrote: > You don't need approval for this, but if you did, I'd be happy to > approve this specific patch. ;-) OK, thanks. > (You may want to consider a note on who is the main maintainer of the > branch, and a convention on subject line tags, such as

Re: [plugins] Branch for plugins development created

2009-02-06 Thread Gerald Pfeifer
On Fri, 6 Feb 2009, Diego Novillo wrote: > I have created the plugins branch (rev. 143989). As I offered before, > I will help maintain the branch synchronized with mainline and with > patch reviews. The branch can be checked out with > > $ svn co svn://gcc.gnu.org/svn/gcc/branches/plugins Nice

Re: [plugins] Branch for plugins development created

2009-02-06 Thread Diego Novillo
On Fri, Feb 6, 2009 at 16:04, Basile STARYNKEVITCH wrote: > But given that most people agree that (since the plugin idea is not too > ambitious) the plugin effort is not a big one (e.g. much much smaller than > your heroic old-gimple => tuple work) why did'nt you consider accepting > plugin relat

Re: [plugins] Branch for plugins development created

2009-02-06 Thread Basile STARYNKEVITCH
Diego Novillo wrote: I have created the plugins branch (rev. 143989). As I offered before, I will help maintain the branch synchronized with mainline and with patch reviews. The branch can be checked out with $ svn co svn://gcc.gnu.org/svn/gcc/branches/plugins Thanks for the effort Diego. B