diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2008-08-22 18:33:52 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2008-08-22 18:33:52 +0000 |
| commit | 3328fd9d3d372b6338c92c7ed1349f7f7d46f96e (patch) | |
| tree | 72793985d381171141739b10764a9cedf9702c98 /pkgs/top-level/all-packages.nix | |
| parent | eebb241519615e0e82704ab80aacdd4f510f2555 (diff) | |
| download | nixpkgs-3328fd9d3d372b6338c92c7ed1349f7f7d46f96e.tar nixpkgs-3328fd9d3d372b6338c92c7ed1349f7f7d46f96e.tar.gz nixpkgs-3328fd9d3d372b6338c92c7ed1349f7f7d46f96e.tar.bz2 nixpkgs-3328fd9d3d372b6338c92c7ed1349f7f7d46f96e.tar.lz nixpkgs-3328fd9d3d372b6338c92c7ed1349f7f7d46f96e.tar.xz nixpkgs-3328fd9d3d372b6338c92c7ed1349f7f7d46f96e.tar.zst nixpkgs-3328fd9d3d372b6338c92c7ed1349f7f7d46f96e.zip | |
Add Sparse, a static analysis tool for C.
svn path=/nixpkgs/trunk/; revision=12696
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3849f357655..7ea8289be12 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2361,6 +2361,10 @@ let pkgs = rec { stdenv = overrideInStdenv stdenv [gnumake380]; }; + sparse = import ../development/tools/analysis/sparse { + inherit fetchurl stdenv pkgconfig; + }; + splint = import ../development/tools/analysis/splint { inherit fetchurl stdenv flex; }; |