commit 47f0f32de5cffbdc9ed6d2a30a50e8b8d8c8af6e · pyrox.dev/nixpkgs

+14 -3
pkgs/development/tools/analysis/cppcheck/default.nix
···

       1
       1
       -
       { lib, stdenv, fetchFromGitHub, libxslt, docbook_xsl, docbook_xml_dtd_45, pcre, withZ3 ? true, z3, python3 }:

     

       1
       1
       +
       { lib

     

       2
       2
       +
       , stdenv

     

       3
       3
       +
       , fetchFromGitHub

     

       4
       4
       +
       , pcre

     

       5
       5
       +
       , python3

     

       6
       6
       +
       , libxslt

     

       7
       7
       +
       , docbook_xsl

     

       8
       8
       +
       , docbook_xml_dtd_45

     

       9
       9
       +
       , withZ3 ? true

     

       10
       10
       +
       , z3

     

       11
       11
       +
       , which

     

       12
       12
       +
       }:

     

       2
       13
        
       

     

       3
       14
        
       stdenv.mkDerivation rec {

     

       4
       15
        
         pname = "cppcheck";

     
···

       14
       25
        
         buildInputs = [ pcre

     

       15
       26
        
           (python3.withPackages (ps: [ps.pygments]))

     

       16
       27
        
         ] ++ lib.optionals withZ3 [ z3 ];

     

       17
       17
       -
         nativeBuildInputs = [ libxslt docbook_xsl docbook_xml_dtd_45 ];

     

       28
       28
       +
         nativeBuildInputs = [ libxslt docbook_xsl docbook_xml_dtd_45 which ];

     

       18
       29
        
       

     

       19
       19
       -
         makeFlags = [ "PREFIX=$(out)" "FILESDIR=$(out)/cfg" "HAVE_RULES=yes" ]

     

       30
       30
       +
         makeFlags = [ "PREFIX=$(out)" "MATCHCOMPILER=yes" "FILESDIR=$(out)/share/cppcheck" "HAVE_RULES=yes" ]

     

       20
       31
        
          ++ lib.optionals withZ3 [ "USE_Z3=yes" "CPPFLAGS=-DNEW_Z3=1" ];

     

       21
       32
        
       

     

       22
       33
        
         outputs = [ "out" "man" ];