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.
Search Criteria
Package Details: coccinelle 1.1.1-2
Package Actions
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)
- pcre
- python (python32AUR, python37AUR, python310AUR)
- ocaml (make)
- ocaml-findlib (make)
- ocaml-num (make)
- ocaml (optional) – OCaml scripting feature
- ocaml-findlib (optional) – OCaml scripting feature
Required by (2)
Sources (2)
osandov commented on 2024-03-19 19:35 (UTC)
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.
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.