Package Details: coccinelle 1.0.6-2

Git Clone URL: (read-only)
Package Base: coccinelle
Description: Provides spatch program used to apply semantic patches
Upstream URL:
Licenses: GPL2
Submitter: hsyl20
Maintainer: osandov
Last Packager: osandov
Votes: 14
Popularity: 0.000514
First Submitted: 2010-03-26 18:18
Last Updated: 2016-11-12 09:09

Dependencies (7)

Required by (0)

Sources (3)

Latest Comments

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

khfeng commented on 2017-02-14 05:23


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

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.

osandov commented on 2016-08-30 00:38

Thanks, IooNag, it looks like that should be a non-fatal error, but I fixed it anyways.

IooNag commented on 2016-08-28 21:57

Hi, hevea is also required as makedepends. Otherwise the build fails with:
hevea -exec main_grammar.tex
make[4]: hevea: Command not found
make[4]: *** [Makefile:92: main_grammar.html] Error 127

paulburton commented on 2016-08-02 10:26

texlive-latexextra & texlive-pictures are required as makedepends in order to build the manual & avoid errors such as:

make -C manual all
make[4]: Entering directory '/home/pburton/.cache/pacaur/coccinelle/src/coccinelle-1.0.5/docs/manual'
*** Hevea: Unable to find xxdate.exe ***
/usr/bin/pdflatex -halt-on-error manual.tex
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Arch Linux) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
LaTeX2e <2015/10/01> patch level 2
Babel <3.9m> and hyphenation patterns for 79 languages loaded.
(./main.tex (/usr/share/texmf-dist/tex/latex/base/report.cls
Document Class: report 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty

! LaTeX Error: File `comment.sty' not found.

osandov commented on 2016-06-11 19:00

I added -j1 until upstream fixes parallel make, makedepends on the texlive packages for the manual, and added the manuals to /usr/share/doc/coccinelle. Thanks, again, everyone!

1ace commented on 2016-06-11 11:00

Confirmed, `-j1` fixed it for me too.
I did however still have one error while building the latex docs. It seems to depend on stys from `texlive-fontsextra`.
(BTW, those docs are built but not installed right now. Could go in /usr/share/doc/coccinelle/ ?)

osandov commented on 2016-06-10 21:50

Thanks, everyone, I'll look into it in the next few days when I get the chance. Until then, try adding -j1 to the PKGBUILD and let me know if that also fails.

NeoRaider commented on 2016-06-10 21:31

I had the same issue (but it failed in a different file on my system). It seems it was caused by my parallel build settings, adding -j1 to the `make` call made the error go away. I guess the PKGBUILD should be fixed to disable parallel build if it isn't supported.

All comments