diff options
author | Cyril Roelandt <tipecaml@gmail.com> | 2012-10-05 03:24:09 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2012-10-05 10:41:44 +0200 |
commit | 172abb4b26e0453300fa873c5256f4b171258486 (patch) | |
tree | a9d66686a1dc336b461066b7022187250aa3fd06 /pkgs/development/tools/analysis/smatch | |
parent | d26ac88caf4504fe74e5cab99bedb7df28a8f133 (diff) | |
download | nixpkgs-172abb4b26e0453300fa873c5256f4b171258486.tar nixpkgs-172abb4b26e0453300fa873c5256f4b171258486.tar.gz nixpkgs-172abb4b26e0453300fa873c5256f4b171258486.tar.bz2 nixpkgs-172abb4b26e0453300fa873c5256f4b171258486.tar.lz nixpkgs-172abb4b26e0453300fa873c5256f4b171258486.tar.xz nixpkgs-172abb4b26e0453300fa873c5256f4b171258486.tar.zst nixpkgs-172abb4b26e0453300fa873c5256f4b171258486.zip |
Add a "smatch" package.
Signed-off-by: Cyril Roelandt <tipecaml@gmail.com> Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'pkgs/development/tools/analysis/smatch')
-rw-r--r-- | pkgs/development/tools/analysis/smatch/default.nix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/pkgs/development/tools/analysis/smatch/default.nix b/pkgs/development/tools/analysis/smatch/default.nix new file mode 100644 index 00000000000..8b9deca409f --- /dev/null +++ b/pkgs/development/tools/analysis/smatch/default.nix @@ -0,0 +1,30 @@ +{ stdenv, fetchgit, sqlite, pkgconfig +, buildllvmsparse ? true +, buildc2xml ? true +, llvm ? null, libxml2 ? null +}: + +assert buildllvmsparse -> llvm != null; +assert buildc2xml -> libxml2 != null; + +stdenv.mkDerivation { + name = "smatch"; + + src = fetchgit { + url = git://repo.or.cz/smatch.git; + rev = "23656e3e578b700cbf96d043f039e6341a3ba5b9"; + sha256 = "09a44967d4cff026c67062f778e251d0b432af132e9d59a47b7d3167f379adfa"; + }; + + buildInputs = [sqlite pkgconfig] + ++ stdenv.lib.optional buildllvmsparse llvm + ++ stdenv.lib.optional buildc2xml libxml2; + + installFlags = "DESTDIR=$(out)"; + + meta = { + description = "A semantic analysis tool for C"; + homepage = "http://smatch.sourceforge.net/"; + license = "free"; /* OSL, see http://www.opensource.org */ + }; +} |