Add a "smatch" package.
Signed-off-by: Cyril Roelandt <tipecaml@gmail.com> Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
parent
d26ac88caf
commit
172abb4b26
30
pkgs/development/tools/analysis/smatch/default.nix
Normal file
30
pkgs/development/tools/analysis/smatch/default.nix
Normal file
|
@ -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 */
|
||||
};
|
||||
}
|
|
@ -3200,6 +3200,11 @@ let
|
|||
|
||||
sloccount = callPackage ../development/tools/misc/sloccount { };
|
||||
|
||||
smatch = callPackage ../development/tools/analysis/smatch {
|
||||
buildllvmsparse = false;
|
||||
buildc2xml = false;
|
||||
};
|
||||
|
||||
sparse = callPackage ../development/tools/analysis/sparse { };
|
||||
|
||||
spin = callPackage ../development/tools/analysis/spin { };
|
||||
|
|
Loading…
Reference in New Issue
Block a user