diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-05-19 14:37:03 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-08-30 13:00:13 +0900 |
| commit | 93d7473eb8e0b375790d896118dd1d5785d055cc (patch) | |
| tree | 7e90ee5147b5d4c3a52bdaaa4acdab134c27bf66 /cppcheck/default.nix | |
| parent | d74ee7280ba56a6abb8d3cf1ec1799db906c9171 (diff) | |
| download | bux-klee.tar.gz | |
Extract bitcode for KLEE klee
Diffstat (limited to 'cppcheck/default.nix')
| -rw-r--r-- | cppcheck/default.nix | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/cppcheck/default.nix b/cppcheck/default.nix index 60991a7..4c7276b 100644 --- a/cppcheck/default.nix +++ b/cppcheck/default.nix @@ -16,8 +16,10 @@ # SPDX-FileCopyrightText: 2023 Nguyễn Gia Phong # SPDX-License-Identifier: AGPL-3.0-or-later -{ lib, stdenv, fetchFromGitHub, fetchpatch, version, commit, hash, binRenameHook -, docbook_xsl, docbook_xml_dtd_45, libxslt, python3, which, pcre }: +{ lib, stdenv, fetchFromGitHub, fetchpatch, version, commit, hash +, bcExtractHook, binRenameHook +, docbook_xsl, docbook_xml_dtd_45, libxslt +, python3, which, pcre }: stdenv.mkDerivation rec { pname = "cppcheck"; @@ -40,7 +42,9 @@ stdenv.mkDerivation rec { # strictDeps = true; nativeBuildInputs = [ - binRenameHook docbook_xsl docbook_xml_dtd_45 libxslt python3 which + bcExtractHook binRenameHook + docbook_xsl docbook_xml_dtd_45 libxslt + python3 which ]; buildInputs = [ pcre ]; |