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 ]
           )