Arch Linux User Repository

@JohnTh the patch doesn't apply cleanly to 1.1.1. If you or someone else can backport it and test it, I can add it to this package, but otherwise you may need to use coccinelle-git instead.

I ran into a problem during configure when building coccinelle due to ocaml 5.0. I saw a commit upstream for this, but did not test it: https://github.com/coccinelle/coccinelle/commit/1d0733a27006b06eef712f541000a8bf10246804.patch Cheers

The updated version is working perfectly. I've tested it by running the following within today's git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git tree:

make J=20 coccicheck

Thanks, osandov and jkl820, for getting Arch + coccinelle back in fully working order!

@jhubbard thanks for the instructions on how to reproduce this. I added a patch for the upstream fix, which seemed to do the trick for me. Let me know if you still have problems.

OK, thanks for pointing out that it is fixed upstream!

@osandov, are you still maintaining this package? (If not, is there someone who wants to jump in?)

@jhubbard looks like the issue was fixed here: https://gitlab.inria.fr/coccinelle/coccinelle/-/merge_requests/166

There was no release since then so using the coccinelle-git package instead works well for now.

Can anyone help with my previous post? It seems like a real installation bug. Thanks in advance!

Hi, I'm seeing an installation problem that only shows up when a cocci script actually uses OCAML (@script:ocaml@). It looks like this (as you might guess, this is from running, approximately, "make coccicheck" in today's Linux kernel tree):

/bin/spatch -D report --no-show-diff --very-quiet --cocci-file ./scripts/coccinelle/api/check_bq27xxx_data.cocci --patch . --dir mm -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/compiler-version.h --include ./include/linux/kconfig.h --jobs 42 --chunksize 1 Fatal error: exception Coccinelle_modules.Yes_prepare_ocamlcocci.CompileFailure("No coccilib.cmi in /usr/bin/lib/coccinelle/ocaml/coccilib.cmi or /usr/bin/lib/coccinelle/ocaml/coccilib/coccilib.cmi") coccicheck failed

...and as you can see, OCAML is incorrectly looking for coccinelle support in /usr/bin/lib/coccinelle (which is a completely invalid place in all cases!). It should be looking in /usr/lib/coccinelle .

I'm using the latest version of coccinelle from this site:

$ spatch --version spatch version 1.1.1 compiled with OCaml version 4.13.1 Flags passed to the configure script: --prefix=/usr --enable-release=yes --with-python=/usr/bin/python3 OCaml scripting support: yes Python scripting support: yes Syntax of regular expressions: PCRE

@oriba I can't reproduce that error. How did you build the package?

Package can't be built:

File "parsing_cocci/parser_cocci_menhir.mli", line 234, characters 25-36: 234 | (Ast_cocci.meta_name * Ast.metavar) option * Ast.mvinit) ^^^^^^^^^^^ Error: Unbound module Ast make: *** [Makefile:426: parsing_cocci/parser_cocci_menhir.cmi] Error 2 ==> ERROR: A failure occurred in build(). Aborting...