public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixpkgs: coccinelle 1.0.0-rc15 -> 1.0.0-rc23, and adopt

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2015-01-08 04:16:02 -06:00
parent 412819cbcb
commit ec61a9ea5a
1 changed files with 19 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
pkgs/development/tools/misc/coccinelle/default.nix
View File

@ -1,16 +1,12 @@
{ fetchurl, stdenv, python, ncurses, ocamlPackages, pkgconfig, makeWrapper }: { fetchurl, stdenv, python, ncurses, ocamlPackages, pkgconfig, makeWrapper }:
let stdenv.mkDerivation rec {
name = "coccinelle-${version}";
name = "coccinelle-1.0.0-rc15"; version = "1.0.0-rc23";
sha256 = "07fab4e17512925b958890bb13c0809797074f2e44a1107b0074bdcc156b9596";
in stdenv.mkDerivation {
inherit name;
src = fetchurl { src = fetchurl {
url = "http://coccinelle.lip6.fr/distrib/${name}.tgz"; url = "http://coccinelle.lip6.fr/distrib/${name}.tgz";
inherit sha256; sha256 = "1qrd4kr3wc0hm4l60fwn19iwzwqcjsx85mm3k4gm3cdhljjma82p";
}; };
buildInputs = with ocamlPackages; [ buildInputs = with ocamlPackages; [
@ -38,25 +34,23 @@ in stdenv.mkDerivation {
meta = { meta = {
description = "Program to apply semantic patches to C code"; description = "Program to apply semantic patches to C code";
longDescription = ''
longDescription = Coccinelle is a program matching and transformation engine which
'' Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for
provides the language SmPL (Semantic Patch Language) for specifying specifying desired matches and transformations in C code.
desired matches and transformations in C code. Coccinelle was Coccinelle was initially targeted towards performing collateral
initially targeted towards performing collateral evolutions in evolutions in Linux. Such evolutions comprise the changes that
Linux. Such evolutions comprise the changes that are needed in are needed in client code in response to evolutions in library
client code in response to evolutions in library APIs, and may APIs, and may include modifications such as renaming a function,
include modifications such as renaming a function, adding a function adding a function argument whose value is somehow
argument whose value is somehow context-dependent, and reorganizing context-dependent, and reorganizing a data structure. Beyond
a data structure. Beyond collateral evolutions, Coccinelle is collateral evolutions, Coccinelle is successfully used (by us
successfully used (by us and others) for finding and fixing bugs in and others) for finding and fixing bugs in systems code.
systems code. '';
'';
homepage = http://coccinelle.lip6.fr/; homepage = http://coccinelle.lip6.fr/;
license = stdenv.lib.licenses.gpl2; license = stdenv.lib.licenses.gpl2;
platforms = stdenv.lib.platforms.unix;
maintainers = [ ]; maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
platforms = stdenv.lib.platforms.gnu; # arbitrary choice
}; };
} }