Re: [cocci] [PATCH] coccinelle: api: Don't use devm_platform_get_and_ioremap_resource with res==NULL

[Nicolas Palix]

Hi all,

On 08/11/2022 06:51, Julia Lawall wrote:
> > After uninstalling python2 this ends in:
> >
> > 	Cannot find Python library
> > 	coccicheck failed
> > 	make: *** [Makefile:2076: coccicheck] Error 255
> >
> > Didn't try to debug that any further. Is that worth a bug report against
> > coccinelle (which is shipped by my distribution)?
> >
> > I tried to adapt the org and report modes from other patches in the same
> > directory. So a critical glimpse by someone more knowledgable than me is
> > recommended. However I don't know how to react to "I doubt ... is
> > appropriate", I'd need a more constructive feedback to act on.
>
> I'm not a python expert, so I'm not sure what to do about this python2 vs python3 problem.  Is there some strategy for printing that works in both of them?

It sounds like a missing dependency in the package system of the 
distribution. Coccinelle has been build with Python support, but
some libraries are missing.

Which distribution is it ?
Can you install some packages that provide the two missing shared 
librairies ?

> julia

--
Nicolas Palix
+33 4 574 21538