Package Details: coccinelle 1.1.1-1

Git Clone URL: (read-only, click to copy)
Package Base: coccinelle
Description: Provides spatch program used to apply semantic patches
Upstream URL:
Licenses: GPL2
Submitter: hsyl20
Maintainer: osandov
Last Packager: osandov
Votes: 16
Popularity: 0.000003
First Submitted: 2010-03-26 18:18
Last Updated: 2021-10-19 19:08

Dependencies (7)

Required by (2)

Sources (1)

Latest Comments

1 2 3 4 5 6 Next › Last »

osandov commented on 2021-01-04 19:28

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

oriba commented on 2020-12-05 20:56

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

osandov commented on 2020-06-15 22:15

@dwlsalmeida, it is already an optional runtime dependency:

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

dwlsalmeida commented on 2020-06-02 01:25

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.

dfrey commented on 2019-11-07 19:36

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
@@ -8,8 +8,8 @@
 # Contributor: Vladimir Kirillov <>

 pkgdesc="Provides spatch program used to apply semantic patches"
 arch=('i686' 'x86_64')
@@ -19,8 +19,8 @@ depends=('pcre' 'python')
 optdepends=('ocaml: OCaml scripting feature'
             'ocaml-findlib: OCaml scripting feature')

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

NeoRaider commented on 2018-10-18 07:33

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.

NeoRaider commented on 2018-10-18 07:23

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

osandov commented on 2018-10-16 19:11

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

osandov commented on 2018-06-29 06:53

Finally got around to uploading Give it a spin and yell if it doesn't work.

bebehei commented on 2018-04-23 13:22

@osandov: I've built myself a coccinelle-git package now, as the current coccinelle release is doomed to fail compilation.

As you're the current maintainer of the coccinelle package, would you like to create a coccinelle-git package here on the AUR?

If you need some the necessary changes, you can consult the PKGBUILD here:

It would be great, if you'd upload a package.