public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cppcheck: enable z3 support

This commit is contained in:
Sebastian Neubauer 2020-05-26 12:48:03 +02:00
parent 9f11766df5
commit 92ec463c51
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/tools/analysis/cppcheck/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchurl, libxslt, docbook_xsl, docbook_xml_dtd_45, pcre }: { stdenv, fetchurl, libxslt, docbook_xsl, docbook_xml_dtd_45, pcre, withZ3 ? true, z3 }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "cppcheck"; pname = "cppcheck";
@ -9,10 +9,11 @@ stdenv.mkDerivation rec {
sha256 = "0gssnb50cndr77xva4nar4a82ii0vfqy96dlm27gb7pd6xmd6xsz"; sha256 = "0gssnb50cndr77xva4nar4a82ii0vfqy96dlm27gb7pd6xmd6xsz";
}; };
buildInputs = [ pcre ]; buildInputs = [ pcre ] ++ stdenv.lib.optionals withZ3 [ z3 ];
nativeBuildInputs = [ libxslt docbook_xsl docbook_xml_dtd_45 ]; nativeBuildInputs = [ libxslt docbook_xsl docbook_xml_dtd_45 ];
makeFlags = [ "PREFIX=$(out)" "FILESDIR=$(out)/cfg" "HAVE_RULES=yes" ]; makeFlags = [ "PREFIX=$(out)" "FILESDIR=$(out)/cfg" "HAVE_RULES=yes" ]
++ stdenv.lib.optionals withZ3 [ "USE_Z3=yes" "CPPFLAGS=-DNEW_Z3=1" ];
outputs = [ "out" "man" ]; outputs = [ "out" "man" ];