Re: [PLUGIN] Install c-tree.h header

2011-08-10 Thread Diego Novillo
On Tue, Aug 2, 2011 at 10:09, Romain Geissler wrote: > 2011-08-02  Romain Geissler   > >        * Makefile.in (PLUGIN_HEADERS): Add C_TREE_H. OK. Diego.

Re: [PLUGIN] Install c-tree.h header

2011-08-10 Thread Romain Geissler
2011/8/2 Romain Geissler : > Hi, > > For now, plugins can't compare types. This patch allows > c-tree.h to be installed as a plugin header, allowing > plugins to see "comptypes" (among other things). > > Romain Geissler > > > 2011-08-02  Romain Geissler   > >        * Makefile.in (PLUGIN_HEADERS):