Package Details: coccinelle 1.0.7-2

Git Clone URL: https://aur.archlinux.org/coccinelle.git (read-only)
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: 15
Popularity: 0.000117
First Submitted: 2010-03-26 18:18
Last Updated: 2018-10-22 18:08

Dependencies (7)

Required by (0)

Sources (1)

Latest Comments

1 2 3 4 5 6 Next › Last »

NeoRaider commented on 2018-10-18 07:33

Also, there is still a build issue with parallel builds. I reproducibly get the following error with MAKEFLAGS="-j5" in /etc/makepkg.conf:

File "menhir-20171013/src/lookahead.mli", line 28, characters 16-37:
Error: Unbound module Grammar

As long as this is not fixed upstream, the PKGBUILD could workaround this by passing -j1 to make.

NeoRaider commented on 2018-10-18 07:23

It seems .SRCINFO is not up to date, the ocaml-num dependency is missing (so the AUR web interface and tools like aurman don't know about the dep).

osandov commented on 2018-10-16 19:11

A new release was finally released upstream at the end of August, so this finally builds again. Try it out if you'd like.

osandov commented on 2018-06-29 06:53

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

@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

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

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

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

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

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