hol_light: fix broken bash interpreter (#474464)

2025-12-29 14:00:40 +00:00
parent 50d72f0be4 ec5aa0d547
commit cf2999a0d9
1 changed files with 3 additions and 0 deletions
@@ -9,6 +9,7 @@
  zarith,
  camlp5,
  camlp-streams,
+  bash,
 }:

 let
@@ -52,6 +53,8 @@ stdenv.mkDerivation {

  patches = [ ./0004-Fix-compilation-with-camlp5-7.11.patch ];

+  buildInputs = [ bash ];
+
  strictDeps = true;

  nativeBuildInputs = [