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 /md4c | |
| parent | d74ee7280ba56a6abb8d3cf1ec1799db906c9171 (diff) | |
| download | bux-klee.tar.gz | |
Extract bitcode for KLEE klee
Diffstat (limited to 'md4c')
| -rw-r--r-- | md4c/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
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"; |