| Git Clone URL: | https://aur.archlinux.org/coccinelle-git.git (read-only, click to copy) |
|---|---|
| Package Base: | coccinelle-git |
| Description: | C source code matching and transformation engine |
| Upstream URL: | https://coccinelle.lip6.fr |
| Licenses: | GPL-2.0-or-later |
| Conflicts: | coccinelle |
| Provides: | coccinelle |
| Submitter: | osandov |
| Maintainer: | meadow |
| Last Packager: | meadow |
| Votes: | 5 |
| Popularity: | 0.000000 |
| First Submitted: | 2018-06-29 06:52 (UTC) |
| Last Updated: | 2025-08-07 23:28 (UTC) |
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
Switching to a different compiler version is indeed the only workaround right now, but it is imperfect: some of the optional features may be unavailable. Dependencies (parmap, pcre) packaged by Arch may conflict with earlier OCaml versions.
Package requires OCaml v5.1 while Arch packages v5.2. Error with v5.2: https://github.com/coccinelle/coccinelle/issues/366
There is not much to be done (when not knowing OCaml to fix upstream), apart from using a different compiler version: https://ocaml.org/docs/install-a-specific-ocaml-compiler-version
This is missing 'git' in the makedepends
==> ERROR: Cannot find the git package needed to handle git sources.
Missing makedepends+=('ocaml-num'), but other than that it builds fine; thanks!
Pinned Comments
meadow commented on 2025-07-31 21:28 (UTC) (edited on 2025-08-07 23:28 (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-binSee also: https://aur.archlinux.org/packages/ocaml-stdcompatFixed with ocaml-stdcompat 21.0