Arch Linux User Repository

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

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