Package Details: coccinelle 1.3.1-2

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.gitlabpages.inria.fr/website/
Licenses: GPL-2.0-or-later
Submitter: hsyl20
Maintainer: meadow
Last Packager: meadow
Votes: 21
Popularity: 0.071185
First Submitted: 2010-03-26 18:18 (UTC)
Last Updated: 2025-11-24 16:44 (UTC)

Dependencies (16)

Sources (1)

Latest Comments

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

meadow commented on 2025-11-25 14:23 (UTC) (edited on 2025-11-25 14:24 (UTC) by meadow)

@gonsolo: You need to make sure that all your ocaml AUR packages are compiled with 5.4.

  • Here's what I used to uninstall all of them: pacman -Rns $(pacman -Qq | grep '^ocaml')
  • I also had to manually clear the cache of my AUR-helper

gonsolo commented on 2025-11-25 00:22 (UTC) (edited on 2025-11-25 00:24 (UTC) by gonsolo) 

File "globals/regexp_pcre.ml", line 1:
Error: /usr/lib/ocaml/pcre/pcre.cmi
       is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.

...

==> FEHLER: Ein Fehler geschah in build().
    Breche ab...
 -> Fehler beim Erstellen: coccinelle-exit status 4
 -> Die folgenden Pakete konnten nicht installiert werden. Ein manueller Eingriff ist erforderlich:
coccinelle - exit status 4

meadow commented on 2025-07-31 21:28 (UTC) (edited on 2025-08-07 23:17 (UTC) by meadow)

This package does not build because coccinelle requires OCaml 5.3 or ocaml-stdcompat supporting OCaml 5.3. In the meantime you might want to use coccinelle-bin

See also: https://aur.archlinux.org/packages/ocaml-stdcompat

Fixed with ocaml-stdcompat 21.0

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.

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