Bug#1110513: coccinelle: linked against wrong libraries

[Victor Gambier <victor.gambier@inria.fr>]

I've been running into a similar issue in the Coccinelle CI since Trixie 
became stable.

> That passes, but I think it's because ./demos/simple.cocci doesn't 
use python.

May I suggest the following command instead? That test does use Python.

$ cd coccinelle/tests/ && spatch --test ran

Expected output is:

init_defs_builtins: /usr/local/lib/coccinelle/standard.h
diff =
--- ran.c
+++ /tmp/cocci-output-67461-e997e9-ran.c
@@ -2,6 +2,7 @@ struct task_struct {
     int a;
     randomized_struct_fields_start
     int b;
+    int something;
     randomized_struct_fields_end
     int c;
 };
One file modified. Result is here: /tmp/ran.c

Victor Gambier