Arch Linux User Repository

There hasn't been a new coccinelle release in a couple of years. It seems like the developers want people to use it from git for now: https://sympa.inria.fr/sympa/arc/cocci/2024-02/msg00073.html. I recommend using coccinelle-git until there's a new release.

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...

@dwlsalmeida, it is already an optional runtime dependency:

optdepends=('ocaml: OCaml scripting feature' 'ocaml-findlib: OCaml scripting feature')

ocaml-findlib (make) should be a dependency, not a make dependency.

Found this out after getting "Coccicheck failed" and then trying out the actual command invoked. The shell error message said this binary was missing.

1.0.8 is available now, but the .tar.gz download link on the website is broken. I locally updated the PKGBUILD in this way to make it work:

diff --git a/PKGBUILD b/PKGBUILD
index b0b741c..cfff397 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -8,8 +8,8 @@
 # Contributor: Vladimir Kirillov <proger@wilab.org.ua>

 pkgname=coccinelle
-pkgver=1.0.7
-pkgrel=2
+pkgver=1.0.8
+pkgrel=1
 pkgdesc="Provides spatch program used to apply semantic patches"
 arch=('i686' 'x86_64')
 url="http://coccinelle.lip6.fr/"
@@ -19,8 +19,8 @@ depends=('pcre' 'python')
 optdepends=('ocaml: OCaml scripting feature'
             'ocaml-findlib: OCaml scripting feature')
 options=('!strip')
-source=(http://coccinelle.lip6.fr/distrib/${pkgname}-${pkgver}.tar.gz)
-sha256sums=('475e2bed5486023d19d9e0dec5e109b04b872a9917b62faf83ce3521676f728b')
+source=(https://github.com/coccinelle/${pkgname}/archive/${pkgver}.tar.gz)
+sha256sums=('9f994bf98bc88c333ac7a54a03d4fa1826122eec7016a1f22c6b2ef2a6a4347f')

 build() {
   cd "$pkgname-$pkgver"

Also, there is still a build issue with parallel builds. I reproducibly get the following error with MAKEFLAGS="-j5" in /etc/makepkg.conf:

File "menhir-20171013/src/lookahead.mli", line 28, characters 16-37:
Error: Unbound module Grammar

As long as this is not fixed upstream, the PKGBUILD could workaround this by passing -j1 to make.

It seems .SRCINFO is not up to date, the ocaml-num dependency is missing (so the AUR web interface and tools like aurman don't know about the dep).

A new release was finally released upstream at the end of August, so this finally builds again. Try it out if you'd like.