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

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

2009-11-18 Thread 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 easier. Second, if the version of a plu