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

« First ‹ Previous 1 2 3 4 5 6 7 Next › Last »

osandov commented on 2018-06-29 06:53 (UTC)

Finally got around to uploading https://aur.archlinux.org/packages/coccinelle-git/. Give it a spin and yell if it doesn't work.

bebehei commented on 2018-04-23 13:22 (UTC)

@osandov: I've built myself a coccinelle-git package now, as the current coccinelle release is doomed to fail compilation.

As you're the current maintainer of the coccinelle package, would you like to create a coccinelle-git package here on the AUR?

If you need some the necessary changes, you can consult the PKGBUILD here: https://gist.github.com/bebehei/644282d5bd6bab89e753bca11eba7777

It would be great, if you'd upload a package.

osandov commented on 2018-03-02 19:15 (UTC)

1.0.6 is hopeless to try to build at this point, but the master branch is fine. I tried to cherry-pick the minimum fixes to get it to build, but that was way too much of a pain. I asked upstream to do a new official release. If they don't do so soon, the best bet might be creating a coccinelle-git package here and using that instead.

osandov commented on 2018-03-02 00:26 (UTC)

Adding ocaml-num to requires fixes that particular error, but now I'm hitting a new menhir error. Hello71 could you try adding ocaml-num to requires and tell me what you get?

osandov commented on 2018-03-02 00:24 (UTC)

Ah yes that got moved out of the core ocaml package, I'll fix it up in a sec.

Hello71 commented on 2018-03-02 00:19 (UTC)

checking for OCaml findlib package num... not found configure: error: package num is required. It should be part of your ocaml installation. ==> ERROR: A failure occurred in build(). Aborting...

klusark commented on 2017-05-21 18:53 (UTC)

Fails to build for me: /usr/bin/ocamlc.opt -unsafe -I menhir-20140422/src -c menhir-20140422/src/patricia.mli -o menhir-20140422/src/patricia.cmi /usr/bin/ocamlc.opt -unsafe -I menhir-20140422/src -c menhir-20140422/src/grammar.mli -o menhir-20140422/src/grammar.cmi File "menhir-20140422/src/grammar.mli", line 1: Error: Corrupted compiled interface menhir-20140422/src/gMap.cmi

khfeng commented on 2017-02-14 05:23 (UTC)

Hi, The pycocci needs to use python2, but current it specifies #!/usr/bin/env python hence it cannot run correctly.

osandov commented on 2016-09-28 17:26 (UTC)

Updated to 1.0.6. The documentation is no longer built by default, so I removed it from the package. If anyone feels strongly about it, I can update the package to explicitly build the documentation, but since it's all available online, it seems like a waste of time and dependencies. Also, parallel make should work again. Let me know if it doesn't and I'll add !makeflags back to options.

« First ‹ Previous 1 2 3 4 5 6 7 Next › Last »