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: 15
Popularity: 0.012811
First Submitted: 2010-03-26 18:18
Last Updated: 2016-11-12 09:09

Dependencies (7)

Required by (0)

Sources (3)

Latest Comments

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

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.

All comments