On Sep 2, 6:36 am, Benjamin Smedberg <[EMAIL PROTECTED]> wrote: > Sebastien Binet wrote: > > hi there, > > > I discovered the Dehydra GCC plugin in the proceedings of the GCC > > summit'08. > > I was wondering what was the status of the inclusion of the needed > > hooks to get a bare-bone infrastructure for plugins ? > > (having to patch the GCC sources isn't that convenient, even if > > doable) > > The build instructions for Dehydra can be found > here:http://developer.mozilla.org/en/Dehydra_GCC > > All of the necessary patches have not yet been accepted into GCC trunk > sources, and we are currently still targeting GCC 4.3 (and GCC 4.2 on mac). > It is not clear that they will be approved in time for the 4.4 release; > before the actual plugin patches are accepted, the FSF wants to make a > change to the libgcc exception clause so that plugins cannot be used to > subvert the GPL license of GCC.
thanks for the update. Is there a place to "express enthusiasm", send +1s, vote or put gentle pressure to get those patches in ? cheers, sebastien. _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
