[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#566378: ITP: dehydra -- Scriptable static analysis tool for C++



On 07.04.2010 14:11, Mike Hommey wrote:
On Mon, Mar 22, 2010 at 04:57:31PM +0100, Mike Hommey wrote:
On Mon, Mar 22, 2010 at 04:29:24PM +0100, Matthias Klose wrote:
Is there any progress on this? Afaics all required dependencies are
in unstable/testing.  The gcc-4.4-plugindev package may require some
additional header files.

AFAIK, it only builds with gcc-4.5 and even then, treehydra doesn't
work. I don't remember if I tried gcc-4.4-plugin-dev, so I should
probably try (again?), but I definitely tried with gcc-4.5-plugin-dev,
and while dehydra worked, treehydra didn't.

Dehydra doesn't build with gcc-4.4-plugin-dev, because it requires
timevar.def, that is only provided in gcc-4.5-plugin-dev.

we can add more to gcc-4.4-plugin-dev, if it's required. just tell, what should be added.

Apparently, it requires more work. There seems to be support to build dehydra for gcc-4.3 as well. would that be a solution for squeeze?

Treehydra still doesn't work, and I'll check with Taras Glek what should
be done with it.

There aren't any install rules, are there any paths the -fplugin option
of gcc checks other than the current directory ?

No, there's patch pending to do that, but it's not yet accepted. http://gcc.gnu.org/ml/gcc-patches/2010-04/msg00299.html

Also, the copyright in the upstream source is obviously wrong: it reads
Copyright (C) 1983 Mozilla Corporation. Until this is clarified, I don't
expect this would pass NEW.

This, OTOH, has been worked out.

thanks



Reply to: