Re: [plugins-ici-cloning-instrumentation] install-plugin Makefile target

2009-11-18 Thread Joern Rennecke
Quoting Basile STARYNKEVITCH : The interesting question is: do we have an installed plugins directory? (We might have already discussed that, I forgot the details and the context, probably more than a year ago). I wish we had one: At the moment we have a directory for plugin header files,

Re: [plugins-ici-cloning-instrumentation] install-plugin Makefile target

2009-11-18 Thread Basile STARYNKEVITCH
Diego Novillo wrote: On Wed, Nov 18, 2009 at 09:05, Joern Rennecke wrote: What do people think about making install-plugin not only install headers to build new plugins, but also install all plugins that have been contributed up to the code freeze for the release. I agree, but we have no plug

Re: [plugins-ici-cloning-instrumentation] install-plugin Makefile target

2009-11-18 Thread Diego Novillo
On Wed, Nov 18, 2009 at 09:05, Joern Rennecke wrote: > What do people think about making install-plugin not only install > headers to build new plugins, but also install all plugins that > have been contributed up to the code freeze for the release. I agree, but we have no plugins included with t

Re: [plugins-ici-cloning-instrumentation] install-plugin Makefile target

2009-11-18 Thread Rafael Espindola
2009/11/18 Joern Rennecke : > What do people think about making install-plugin not only install > headers to build new plugins, but also install all plugins that > have been contributed up to the code freeze for the release. > > First, it would make testing the plugin interface and the plugins easi