diff options
| author | Maximilian Bosch <maximilian@mbosch.me> | 2020-05-27 11:25:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-27 11:25:34 +0200 |
| commit | 7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7 (patch) | |
| tree | 2c8a6f59d31340636eca7ef4fa00f7a403cc9749 | |
| parent | 0591f1ef8fbd2a1ad03d19f0552d8a186256794d (diff) | |
| parent | 92ec463c51bee55f476dadf5011863682c3aadd1 (diff) | |
| download | nixlib-7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7.tar nixlib-7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7.tar.gz nixlib-7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7.tar.bz2 nixlib-7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7.tar.lz nixlib-7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7.tar.xz nixlib-7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7.tar.zst nixlib-7fe32a614abfd6d6afacb27d8e7c99fb6f9e41b7.zip | |
Merge pull request #88934 from Flakebi/cppcheck-z3
cppcheck: enable z3 support
| -rw-r--r-- | pkgs/development/tools/analysis/cppcheck/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/tools/analysis/cppcheck/default.nix b/pkgs/development/tools/analysis/cppcheck/default.nix index 76a038ca8199..bdd275a218b8 100644 --- a/pkgs/development/tools/analysis/cppcheck/default.nix +++ b/pkgs/development/tools/analysis/cppcheck/default.nix @@ -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 { pname = "cppcheck"; @@ -9,10 +9,11 @@ stdenv.mkDerivation rec { sha256 = "0gssnb50cndr77xva4nar4a82ii0vfqy96dlm27gb7pd6xmd6xsz"; }; - buildInputs = [ pcre ]; + buildInputs = [ pcre ] ++ stdenv.lib.optionals withZ3 [ z3 ]; 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" ]; |