Hi,

On Wed, 31 Oct 2012,  21:03:24, Alek Paunov wrote:
> On 31.10.2012 20:46, Klaus Rudolph wrote:
> ...
> 
> >    File "/home/zfrdh/work/gcc-python-plugin/configbuilder.py", line 126
> >      with open(self.filename, 'w') as f:
> 
> Unfortunately, your python is ancient too :-).
> 

so, I tried to use python-gcc plugin on my ubuntu machine.

First I couldn't run the make (tests) while python-six is not available for 
newer ubuntu versions. OK, I could install python from source but for ubuntu 
there are many patches...

But using the python.so lib with a very little script found on 
https://gcc-python-plugin.readthedocs.org/en/latest/basics.html#building-the-plugin-from-source

I got:
/opt/linux-gnu_4.7.2/bin/g++ 
-fplugin=/home/krud/work/gcc-python-plugin-0.10/python.so 
-fplugin-arg-python-script=check.py main.cpp
cc1plus: error: cannot load plugin 
/home/krud/work/gcc-python-plugin-0.10/python.so
/home/krud/work/gcc-python-plugin-0.10/python.so: undefined symbol: insn_file
make: *** [check] Error 1

Hard to find an entry point :-)

Any hints?

Regards,
 Klaus
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to