39 lines
1.1 KiB
Nix
39 lines
1.1 KiB
Nix
|
{ fetchurl, stdenv, pkgconfig }:
|
||
|
|
|
||
|
|
stdenv.mkDerivation rec {
|
||
|
|
name = "sparse-0.4.1";
|
||
|
|
|
||
|
|
src = fetchurl {
|
||
|
|
url = "mirror://kernel/software/devel/sparse/dist/${name}.tar.gz";
|
||
|
|
sha256 = "18nkgqkqhfp4gdjhdy8xgwxvla5vjccg1kzyz5ngpjw35q0hp5fb";
|
||
|
|
};
|
||
|
|
|
||
|
|
preConfigure = ''
|
||
|
|
sed -i "Makefile" \
|
||
|
|
-e "s|^PREFIX *=.*$|PREFIX = $out|g"
|
||
|
|
'';
|
||
|
|
|
||
|
|
buildInputs = [ pkgconfig ];
|
||
|
|
|
||
|
|
doCheck = true;
|
||
|
|
|
||
|
|
meta = {
|
||
|
|
description = "Sparse, a semantic parser for C";
|
||
|
|
|
||
|
|
longDescription = ''
|
||
|
|
Sparse, the semantic parser, provides a compiler frontend
|
||
|
|
capable of parsing most of ANSI C as well as many GCC
|
||
|
|
extensions, and a collection of sample compiler backends,
|
||
|
|
including a static analyzer also called "sparse". Sparse
|
||
|
|
provides a set of annotations designed to convey semantic
|
||
|
|
information about types, such as what address space pointers
|
||
|
|
point to, or what locks a function acquires or releases.
|
||
|
|
'';
|
||
|
|
|
||
|
|
homepage = http://www.kernel.org/pub/software/devel/sparse/;
|
||
|
|
|
||
|
|
# See http://www.opensource.org/licenses/osl.php .
|
||
|
|
license = "Open Software License v1.1";
|
||
|
|
};
|
||
|
|
}
|