Package Details: coccinelle 1.1.1-2

Git Clone URL: https://aur.archlinux.org/coccinelle.git (read-only, click to copy)
Package Base: coccinelle
Description: Provides spatch program used to apply semantic patches
Upstream URL: http://coccinelle.lip6.fr/
Licenses: GPL2
Submitter: hsyl20
Maintainer: osandov
Last Packager: osandov
Votes: 19
Popularity: 0.004187
First Submitted: 2010-03-26 18:18 (UTC)
Last Updated: 2022-08-10 17:45 (UTC)

Dependencies (7)

Sources (2)

Pinned Comments

osandov commented on 2024-03-19 19:35 (UTC)

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.

Latest Comments

1 2 3 4 5 6 7 Next › Last »

osandov commented on 2024-03-19 19:35 (UTC)

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.

MarsSeed commented on 2024-03-19 18:09 (UTC)

Meanwhile, coccinelle-git builds and works fine for me.

jhubbard commented on 2024-03-19 18:02 (UTC)

I can confirm that problem, because I'm seeing the same "error: package bigarray is required" failure.

MarsSeed commented on 2024-03-19 17:44 (UTC)

Fails to build:

configure: the following OCaml packages should be provided by your ocaml installation
checking for OCaml findlib package unix... found
checking for OCaml findlib package bigarray... not found
configure: error: package bigarray is required. It should be part of your ocaml installation.

osandov commented on 2023-07-05 15:58 (UTC)

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

JohnTh commented on 2023-07-01 18:04 (UTC)

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

jhubbard commented on 2022-08-10 20:01 (UTC)

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!

osandov commented on 2022-08-10 17:46 (UTC)

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

jhubbard commented on 2022-08-04 00:46 (UTC)

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

jkl820 commented on 2022-08-04 00:04 (UTC)

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