diff options
| author | Arie Middelkoop <amiddelk@gmail.com> | 2012-01-16 10:20:13 +0000 |
|---|---|---|
| committer | Arie Middelkoop <amiddelk@gmail.com> | 2012-01-16 10:20:13 +0000 |
| commit | c87285c2552fb5717a4d5ef0add40502761d8352 (patch) | |
| tree | 3924b086f285246026dfb63d9a9d3caf4815df14 /pkgs/development/tools | |
| parent | 3b833cc93b71dfb0186200ec27c46025b2b6b0d3 (diff) | |
| download | nixpkgs-c87285c2552fb5717a4d5ef0add40502761d8352.tar nixpkgs-c87285c2552fb5717a4d5ef0add40502761d8352.tar.gz nixpkgs-c87285c2552fb5717a4d5ef0add40502761d8352.tar.bz2 nixpkgs-c87285c2552fb5717a4d5ef0add40502761d8352.tar.lz nixpkgs-c87285c2552fb5717a4d5ef0add40502761d8352.tar.xz nixpkgs-c87285c2552fb5717a4d5ef0add40502761d8352.tar.zst nixpkgs-c87285c2552fb5717a4d5ef0add40502761d8352.zip | |
Updated the coccinelle package to the latest release (1.0.0-RC9).
Added additional ocaml modules which are needed for coccinelle. svn path=/nixpkgs/trunk/; revision=31579
Diffstat (limited to 'pkgs/development/tools')
| -rw-r--r-- | pkgs/development/tools/misc/coccinelle/default.nix | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/pkgs/development/tools/misc/coccinelle/default.nix b/pkgs/development/tools/misc/coccinelle/default.nix index d8b077a20f5..7a247b0b2e3 100644 --- a/pkgs/development/tools/misc/coccinelle/default.nix +++ b/pkgs/development/tools/misc/coccinelle/default.nix @@ -1,14 +1,21 @@ -{ fetchurl, stdenv, ocaml, perl, python, ncurses, makeWrapper }: +{ fetchurl, stdenv, perl, python, ncurses, makeWrapper +, ocaml, ocamlPackages }: stdenv.mkDerivation rec { - name = "coccinelle-0.2.2"; + name = "coccinelle-1.0.0-rc9"; src = fetchurl { url = "http://coccinelle.lip6.fr/distrib/${name}.tgz"; - sha256 = "1rnhxlqwcps67nyn61xj8mf6wdja29q8m16r4jwdwxvfpnsdhwfy"; + sha256 = "75d5354e76500b627ccc33b8a929305e5a815ebf08027a8dc094f75ece241697"; }; - buildInputs = [ ocaml perl python ncurses makeWrapper ]; + buildInputs = [ + ocaml ocamlPackages.findlib + ocamlPackages.menhir ocamlPackages.ocaml_batteries + ocamlPackages.ocaml_pcre ocamlPackages.ocaml_sexplib + ocamlPackages.ocaml_extlib ocamlPackages.pycaml + python ncurses makeWrapper perl + ]; preConfigure = '' sed -i "configure" -e's|/usr/bin/perl|${perl}/bin/perl|g' @@ -16,10 +23,13 @@ stdenv.mkDerivation rec { -e"s|/usr/local/share|$out/share|g" ''; - buildPhase = "make depend && make all"; + buildPhase = "make depend && make all && make all.opt"; # Note: The tests want $out/share/coccinelle/standard.h so they must be run # after "make install". + # (I'm not sure if this is still needed.) + # Note: The check phase is now disabled completely, because the expected + # testing score is not always updated. doCheck = false; postInstall = |