On 6/18/20 9:45 AM, Giacomo Picchiarelli wrote: > make coccicheck MODE=patch DEBUG_FILE=cocci3.err > > result: > > /usr/local/bin/spatch -D patch --very-quiet --cocci-file ./scripts/coccinelle/api/alloc/alloc_cast.cocci --no-includes --include-headers --dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I ./include -I ./arch/x86/include/uapi -I ./arch/x86/include/generated/uapi -I ./include/uapi -I ./include/generated/uapi --include ./include/linux/kconfig.h --jobs 8 --chunksize 1 > > Python error: No module named coccilib.elems > > Suggestions? Missing something? > It's looking in the wrong location for the library files. (We went thru this just last week.) This is what fixed it for me: $ cd /usr/local/lib $ sudo ln ../lib64/coccinelle coccinelle so that spatch can find the library file(s) in /usr/local/lib64 instead of in /usr/local/lib. > > On 18/06/20 17:23, Julia Lawall wrote: >> >> On Thu, 18 Jun 2020, Giacomo Picchiarelli wrote: >> >>> Newbie here. I couldn't try the patch attached. >> Hi, >> >> I'm not sure what you are trying to do. The patch attached is a real >> patch, not a Coccinelle semantic patch. >> >>> I'm using coccinelle (spatch version 1.0.4 with Python support and with PCRE support), >>> I'm having issues with the following command: >>> >>> make coccicheck MODE=patch >>> >>> "./tools/testing/selftests/net/hwtstamp_config.c:74:45-46: WARNING: Use ARRAY_SIZE >>> >>> 807 811 >>> >>> coccicheck failed" >> Randy's suggestion about DEBUG is good. You can also get a more modern >> version of Coccinelle from github. >> >> julia > > Hi Julia, > I'm actually having some issues with coccinelle compilation, I'm going to try with the newest version as soon as possible. > Thanks. > >> >> >>> Applied to: commit 1b5044021070efa3259f3e9548dc35d1eb6aa844 (HEAD -> master, origin/master, origin/HEAD) >>> Merge: 69119673bd50 dbed452a078d >>> Author: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> >>> Date: Wed Jun 17 11:29:37 2020 -0700 >>> >>> Suggestions? >>> >>> -- >>> Giacomo Picchiarelli <gpicchiarelli@xxxxxxxxx> >>> GPG Key: 2E51 2591 F3E8 7CDC F504 140F 8559 3ACF 4691 ACC0 >>> >>> -- ~Randy Reported-by: Randy Dunlap <rdunlap@xxxxxxxxxxxxx>
