Package Details: coccinelle 1.3.0-1

Git Clone URL: https://aur.archlinux.org/coccinelle.git (read-only, click to copy)
Package Base: coccinelle
Description: C source code matching and transformation engine
Upstream URL: https://coccinelle.lip6.fr
Licenses: GPL-2.0-or-later
Submitter: hsyl20
Maintainer: meadow
Last Packager: meadow
Votes: 20
Popularity: 0.22
First Submitted: 2010-03-26 18:18 (UTC)
Last Updated: 2024-12-10 17:12 (UTC)

Dependencies (12)

Sources (2)

Latest Comments

1 2 3 4 5 6 .. 8 Next › Last »

gatherer commented on 2024-12-04 11:56 (UTC) (edited on 2024-12-04 11:59 (UTC) by gatherer)

The bigarray issue could be fixed by updating the pkgver to 1.2.0 or 1.3.0. However, that would currently cause a different issue (coccinelle needs OCaml <=5.1.0, Arch packages 5.2.0, see coccinelle-git) that can be imperfectly bypassed by manually switching to a different OCaml version.

meadow commented on 2024-11-13 14:23 (UTC)

Apparently coccinelle developers are releasing versions again, 1.3 was released yesterday https://coccinelle.gitlabpages.inria.fr/website/download.html

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.