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

---
 md4c/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'md4c')

diff --git a/md4c/default.nix b/md4c/default.nix
index d5fb39e..aa51e1d 100644
--- a/md4c/default.nix
+++ b/md4c/default.nix
@@ -9,7 +9,7 @@
 # SPDX-License-Identifier: AGPL-3.0-or-later
 
 { lib, stdenv, version, fetchFromGitHub, commit, hash
-, binRenameHook, cmake, pkg-config }:
+, bcExtractHook, binRenameHook, cmake, pkg-config }:
 
 stdenv.mkDerivation rec {
   pname = "md4c";
@@ -29,7 +29,7 @@ stdenv.mkDerivation rec {
     ./fix-pkgconfig.patch
   ];
 
-  nativeBuildInputs = [ binRenameHook cmake pkg-config ];
+  nativeBuildInputs = [ bcExtractHook binRenameHook cmake pkg-config ];
 
   meta = with lib; {
     description = "Markdown parser made in C";
-- 
cgit 1.4.1