diff --git a/pkgs/development/tools/misc/coccinelle/default.nix b/pkgs/development/tools/misc/coccinelle/default.nix index 8ccca36eba5..02de182ff76 100644 --- a/pkgs/development/tools/misc/coccinelle/default.nix +++ b/pkgs/development/tools/misc/coccinelle/default.nix @@ -1,11 +1,11 @@ { fetchurl, stdenv, ocaml, perl, python, ncurses, makeWrapper }: stdenv.mkDerivation rec { - name = "coccinelle-0.2.0rc1"; + name = "coccinelle-0.2.0"; src = fetchurl { url = "http://coccinelle.lip6.fr/distrib/${name}.tgz"; - sha256 = "06mfxhgqh52ak7bm3bj0nvi56k6gjqlf1iv00jci6nw3d083pw3j"; + sha256 = "1mg6r92h8j3kqgy9iv6kk0g96m84wcj71iavgvv9qdbk3qwim8i4"; }; buildInputs = [ ocaml perl python ncurses makeWrapper ]; @@ -18,14 +18,16 @@ stdenv.mkDerivation rec { buildPhase = "make depend && make all"; - # Most of the test suite seems to fail (?!). + # Note: The tests want $out/share/coccinelle/standard.h so they must be run + # after "make install". doCheck = false; - checkPhase = "make test"; postInstall = '' wrapProgram "$out/bin/spatch" \ --prefix "LD_LIBRARY_PATH" ":" "$out/lib" \ --prefix "PYTHONPATH" ":" "$out/share/coccinelle/python" + + make test ''; meta = {