On Tue, 16 Oct 2018, Timur Tabi wrote:

> On 10/16/18 10:10 AM, Himanshu Jha wrote:
> > FYI coccinelle works fine on Ubuntu 18.04.1 when built through
> > source code.
>
> I've attached my config.log, can you compare it with yours and post the diff?

I didn't find anything significant.  Maybe you can try disabling parmap,
like you disabled pcre.  There seems to be a config option for that.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to