> I am trying to understand the build system in further details

The build scripts contain some update candidates for a while.


> and I would appreciate it if you could send me the commands
> you called when you installed coccinelle,

The corresponding command is just the ordinary "make install".


> so that I can try to reproduce the bug.

Do you work also with a subdirectory "lib64" occasionally?

Do settings need improvements for the variables "LIBDIR"
and "SHAREDIR" (in a script template)?
https://github.com/coccinelle/coccinelle/blob/d6ce1786f27a05efa53cabeca92fc8e744a4b239/scripts/spatch.sh.in#L1

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

Reply via email to