diff options
Diffstat (limited to 'pkgs/development/tools/analysis/smatch/default.nix')
| -rw-r--r-- | pkgs/development/tools/analysis/smatch/default.nix | 37 |
1 files changed, 18 insertions, 19 deletions
diff --git a/pkgs/development/tools/analysis/smatch/default.nix b/pkgs/development/tools/analysis/smatch/default.nix index 1443c31192d..82a32504d73 100644 --- a/pkgs/development/tools/analysis/smatch/default.nix +++ b/pkgs/development/tools/analysis/smatch/default.nix @@ -1,35 +1,34 @@ -{ stdenv, fetchgit, sqlite, pkgconfig, perl +{ lib, stdenv, fetchgit, sqlite, pkg-config, perl , buildllvmsparse ? true , buildc2xml ? true -, llvm ? null, libxml2 ? null +, llvm, libxml2 }: -assert buildllvmsparse -> llvm != null; -assert buildc2xml -> libxml2 != null; - -stdenv.mkDerivation { - name = "smatch-20120924"; +stdenv.mkDerivation rec { + pname = "smatch"; + version = "20120924"; src = fetchgit { - url = "git://repo.or.cz/smatch.git"; + url = "git://repo.or.cz/${pname}.git"; rev = "23656e3e578b700cbf96d043f039e6341a3ba5b9"; sha256 = "0r43qi6vryqg450fj73yjwbb7gzcgx64rhrhb3r1m6a252srijiy"; }; - nativeBuildInputs = [ pkgconfig ]; - buildInputs = [sqlite perl] - ++ stdenv.lib.optional buildllvmsparse llvm - ++ stdenv.lib.optional buildc2xml libxml2; + nativeBuildInputs = [ pkg-config ]; + buildInputs = [ sqlite perl ] + ++ lib.optional buildllvmsparse llvm + ++ lib.optional buildc2xml libxml2; - preBuild = - '' sed -i Makefile \ - -e "s|^PREFIX=.*|PREFIX = $out|g" - ''; + preBuild = '' + sed -i Makefile \ + -e "s|^PREFIX=.*|PREFIX = $out|g" + ''; - meta = { + meta = with lib; { description = "A semantic analysis tool for C"; homepage = "http://smatch.sourceforge.net/"; - license = stdenv.lib.licenses.free; /* OSL, see http://www.opensource.org */ - platforms = stdenv.lib.platforms.linux; + maintainers = with maintainers; []; + license = licenses.free; /* OSL, see http://www.opensource.org */ + platforms = platforms.linux; }; } |