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.002365
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 2015-04-10 02:11 (UTC)

Heads up to everyone, looks like the camlp4 package has finally been fixed.

aksr commented on 2015-03-31 18:54 (UTC)

osandov: Ok, thank you.

osandov commented on 2015-03-31 18:42 (UTC)

aksr, the camlp4 package is broken. As per my comment below, you need to apply the patch here: https://bugs.archlinux.org/task/41907

aksr commented on 2015-03-31 11:03 (UTC)

Even though I have camlp4 installed, I'm getting this: https://privatepaste.com/3c6bd7e5fe

osandov commented on 2014-12-21 20:17 (UTC)

Here's a revamp of the PKGBUILD. I removed the make check, as according to the GitHub (https://github.com/coccinelle/coccinelle/blob/master/install.txt), "note: not all tests are expected to succeed". Python support seems to be fixed now. Also, I had to patch the camlp4 PKGBUILD manually to fix this bug: https://bugs.archlinux.org/task/41907?dev=600

catharsis commented on 2014-11-07 15:01 (UTC)

I got it building using these changes (which disables python support): 10,11c10,11 < _pkgver=1.0.0-rc20 < pkgver=1.0.0rc20 --- > _pkgver=1.0.0-rc22 > pkgver=1.0.0rc22 21c21 < http://coccinelle.lip6.fr/distrib/${pkgname}-${_pkgver}.tgz --- > https://github.com/coccinelle/coccinelle/archive/${pkgname}-${_pkgver}.tar.gz 25c25 < cd "$srcdir/$pkgname-$_pkgver" --- > cd "$srcdir/$pkgname-$pkgname-$_pkgver" 27c27,28 < ./configure --prefix=/usr --with-python=/usr/bin/python2 --- > #./configure --prefix=/usr --with-python=/usr/bin/python2 > ./configure --prefix=/usr --disable-python 33c34 < cd "$srcdir/$pkgname-$_pkgver" --- > cd "$srcdir/$pkgname-$pkgname-$_pkgver" 38c39 < cd "$srcdir/$pkgname-$_pkgver" --- > cd "$srcdir/$pkgname-$pkgname-$_pkgver" 42c43 < sha256sums=('d521f3007141834cb9b827ca3ee0bf75542911ae1e8313d3641e679923368836') --- > sha256sums=('8b7cb310614a9a00c3f5df4934d7d15791d8077f038c7948d172c5024878f9ec') Test result looks good as well: -------------------------------- total score -------------------------------- good = 406/440 Current score is equal to expected score; everything is fine

intgr commented on 2014-10-06 09:17 (UTC)

@Kayden Not just that, it seems this package (or Coccinelle itself) is utterly and hopelessly broken. The tests fail and even the bundled .cocci files crash. Tried 1.0.0rc20 and the newest rc22, with OCaml 4.00, 4.01 and 4.02. And I haven't the faintest how to make it work.

Kayden commented on 2014-09-25 18:48 (UTC)

It looks like the PKGBUILD is missing a build dependency on camlp4.

rogerzanoni commented on 2014-03-26 21:34 (UTC)

Just updated to latest release

intgr commented on 2014-01-18 21:16 (UTC)

@hsyl20, please update or disown.

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