Package Details: coccinelle 1.0.8-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.076938
First Submitted: 2010-03-26 18:18
Last Updated: 2019-11-20 18:45

Dependencies (7)

Required by (2)

Sources (1)

Latest Comments

1 2 3 4 5 6 Next › Last »

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.

osandov commented on 2018-03-02 19:15

1.0.6 is hopeless to try to build at this point, but the master branch is fine. I tried to cherry-pick the minimum fixes to get it to build, but that was way too much of a pain. I asked upstream to do a new official release. If they don't do so soon, the best bet might be creating a coccinelle-git package here and using that instead.

osandov commented on 2018-03-02 00:26

Adding ocaml-num to requires fixes that particular error, but now I'm hitting a new menhir error. Hello71 could you try adding ocaml-num to requires and tell me what you get?

osandov commented on 2018-03-02 00:24

Ah yes that got moved out of the core ocaml package, I'll fix it up in a sec.