From f63059dd0517bd144f9f8c4a84c6181540d8c459 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Sat, 12 Dec 2009 00:47:14 +0000
Subject: [PATCH] Add Coccinelle, a semantic patch interpreter for C.

svn path=/nixpkgs/trunk/; revision=18909
---
 .../tools/misc/coccinelle/default.nix         | 54 +++++++++++++++++++
 pkgs/top-level/all-packages.nix               |  4 ++
 2 files changed, 58 insertions(+)
 create mode 100644 pkgs/development/tools/misc/coccinelle/default.nix

diff --git a/pkgs/development/tools/misc/coccinelle/default.nix b/pkgs/development/tools/misc/coccinelle/default.nix
new file mode 100644
index 000000000000..811a289baed5
--- /dev/null
+++ b/pkgs/development/tools/misc/coccinelle/default.nix
@@ -0,0 +1,54 @@
+{ fetchurl, stdenv, ocaml, perl, python, ncurses, makeWrapper }:
+
+stdenv.mkDerivation rec {
+  name = "coccinelle-0.1.11rc1";
+
+  src = fetchurl {
+    url = "http://coccinelle.lip6.fr/distrib/${name}.tgz";
+    sha256 = "1rdsv3qcl6zcx3d3zd4cl9d79hdgaw19llxbflkfxipvkg3vk59x";
+  };
+
+  buildInputs = [ ocaml perl python ncurses makeWrapper ];
+
+  preConfigure =
+    '' sed -i "configure" -e's|/usr/bin/perl|${perl}/bin/perl|g'
+       sed -i "globals/config.ml.in" \
+           -e"s|/usr/local/share|$out/share|g"
+    '';
+
+  buildPhase = "make depend && make all";
+
+  # Most of the test suite seems to fail (?!).
+  doCheck = false;
+  checkPhase = "make test";
+
+  postInstall =
+    '' wrapProgram "$out/bin/spatch"                                    \
+         --prefix "LD_LIBRARY_PATH" ":" "$out/lib"                      \
+         --prefix "PYTHONPATH" ":" "$out/share/coccinelle/python"
+    '';
+
+  meta = {
+    description = "Coccinelle, a program to apply C code semantic patches";
+
+    longDescription =
+      '' Coccinelle is a program matching and transformation engine which
+         provides the language SmPL (Semantic Patch Language) for specifying
+         desired matches and transformations in C code.  Coccinelle was
+         initially targeted towards performing collateral evolutions in
+         Linux.  Such evolutions comprise the changes that are needed in
+         client code in response to evolutions in library APIs, and may
+         include modifications such as renaming a function, adding a function
+         argument whose value is somehow context-dependent, and reorganizing
+         a data structure.  Beyond collateral evolutions, Coccinelle is
+         successfully used (by us and others) for finding and fixing bugs in
+         systems code.
+      '';
+
+    homepage = http://coccinelle.lip6.fr/;
+    license = "GPLv2";
+
+    maintainers = [ stdenv.lib.maintainers.ludo ];
+    platforms = stdenv.lib.platforms.gnu;  # arbitrary choice
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index bded1b4ea932..9d350ea76faf 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -2652,6 +2652,10 @@ let
     inherit fetchurl stdenv replace ncurses;
   };
 
+  coccinelle = import ../development/tools/misc/coccinelle {
+    inherit fetchurl stdenv perl python ocaml ncurses makeWrapper;
+  };
+
   cproto = import ../development/tools/misc/cproto {
     inherit fetchurl stdenv flex bison;
   };