pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{ stdenv, fetchgit, sqlite, pkgconfig, perl
2, buildllvmsparse ? true
3, buildc2xml ? true
4, llvm ? null, libxml2 ? null
5}:
6
7assert buildllvmsparse -> llvm != null;
8assert buildc2xml -> libxml2 != null;
9
10stdenv.mkDerivation {
11 name = "smatch-20120924";
12
13 src = fetchgit {
14 url = git://repo.or.cz/smatch.git;
15 rev = "23656e3e578b700cbf96d043f039e6341a3ba5b9";
16 sha256 = "09a44967d4cff026c67062f778e251d0b432af132e9d59a47b7d3167f379adfa";
17 };
18
19 buildInputs = [sqlite pkgconfig perl]
20 ++ stdenv.lib.optional buildllvmsparse llvm
21 ++ stdenv.lib.optional buildc2xml libxml2;
22
23 preBuild =
24 '' sed -i Makefile \
25 -e "s|^PREFIX=.*|PREFIX = $out|g"
26 '';
27
28 meta = {
29 description = "A semantic analysis tool for C";
30 homepage = "http://smatch.sourceforge.net/";
31 license = stdenv.lib.licenses.free; /* OSL, see http://www.opensource.org */
32 };
33}