Extract bitcode for KLEE klee

1 files changed, 7 insertions, 4 deletions

diff --git a/grep/default.nix b/grep/default.nix
index ae1e9d3..5585c10 100644
--- a/grep/default.nix
+++ b/grep/default.nix
@@ -9,12 +9,13 @@
 # SPDX-FileCopyrightText: 2023 Nguyễn Gia Phong
 # SPDX-License-Identifier: AGPL-3.0-or-later
 
-{ lib, stdenv, version, base, snapshot, binRenameHook, pcre, libiconv }:
+{ lib, stdenv, version, base, snapshot
+, bcExtractHook, binRenameHook, pcre, libiconv }:
 stdenv.mkDerivation rec {
   pname = "grep";
   inherit version;
 
-  nativeBuildInputs = [ binRenameHook ];
+  nativeBuildInputs = [ bcExtractHook binRenameHook ];
   buildInputs = [ pcre libiconv ];
   hardeningDisable = [ "all" ];
 
@@ -23,10 +24,12 @@ stdenv.mkDerivation rec {
     tar xf ${snapshot} --strip-components=1
   '';
 
-  # On macOS, force use of mkdir -p, since grep's fallback
-  # (./install-sh) is broken.
   preConfigure = ''
+    # On macOS, force use of mkdir -p,
+    # since grep's fallback (./install-sh) is broken.
     export MKDIR_P="mkdir -p"
+    # Skip extra initialization and optimizations
+    configureFlagsArray+=(--disable-nls)
   '';
   doCheck = false;