From 8f88d575251d6595901b0cb57686adb24c8dfd8c Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Wed, 24 Dec 2025 10:31:19 -0600
Subject: [PATCH] idris2Packages.pack: add make runtime dependency

---
 pkgs/development/compilers/idris2/pack.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/compilers/idris2/pack.nix b/pkgs/development/compilers/idris2/pack.nix
index 5f38ee28fe51..ed89dd30d7a3 100644
--- a/pkgs/development/compilers/idris2/pack.nix
+++ b/pkgs/development/compilers/idris2/pack.nix
@@ -5,6 +5,7 @@
   clang,
   chez,
   gmp,
+  gnumake,
   zsh,
   makeBinaryWrapper,
   stdenv,
@@ -189,6 +190,7 @@ let
       gmp
       clang
       chez
+      gnumake
     ]
     ++ lib.optionals stdenv.hostPlatform.isDarwin [ zsh ];
 
@@ -200,6 +202,7 @@ let
             [
               clang
               chez
+              gnumake
             ]
             ++ lib.optionals stdenv.hostPlatform.isDarwin [ zsh ]
           )