Hello, i'm currently trying to check out coccinelle and already could apply a simple semantic patch to a small C program with the spatch command.
Please excuse me, but i'm quite a beginner in this field. I read on this <https://www.kernel.org/doc/html/v4.16/dev-tools/coccinelle.html> page, about coccicheck and the different modes. It says, that i have to run: make coccicheck MODE=report or make coccicheck MODE=patch in order to switch the mode. But where do i have to run this? Is this just for using coccinelle on the linux kernel? Is it not relevant, if i want to use coccinelle for general C programs? I thought it is a make target for coccinelle itself, but there is no target called coccicheck defined in the coccinelle makefile, as far as i can tell. So if i run it in the same dir as the make install for coccinelle, all i get is: make: *** no rule to make target coccicheck. stop. So, am i doing something wrong, or is coccicheck only relevant for linux kernel development? It says: "A Coccinelle-specific target is defined in the top level Makefile." which Makefile? The linux top level Makefile? Best regards, Jonas
_______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
