From ec5aa0d5472a4030aa9384571b27ac055e7437e4 Mon Sep 17 00:00:00 2001
From: Nicky Mouha <nmouha@users.noreply.github.com>
Date: Fri, 26 Dec 2025 19:27:08 -0500
Subject: [PATCH] hol_light: fix broken bash interpreter

Co-authored-by: Aleksana <alexander.huang.y@gmail.com>
---
 pkgs/applications/science/logic/hol_light/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix
index ac908ab9f8ab..fc60ec0b1f28 100644
--- a/pkgs/applications/science/logic/hol_light/default.nix
+++ b/pkgs/applications/science/logic/hol_light/default.nix
@@ -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 = [