From 93d7473eb8e0b375790d896118dd1d5785d055cc Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <mcsinyx@disroot.org>
Date: Fri, 19 May 2023 14:37:03 +0900
Subject: Extract bitcode for KLEE

---
 cppcheck/default.nix | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'cppcheck/default.nix')

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 ];
 
-- 
cgit 1.4.1