idris2Packages.pack: add make runtime dependency (#473887)

2025-12-24 17:46:55 +00:00
parent 3fedc07514 8f88d57525
commit 519d141f34
1 changed files with 3 additions and 0 deletions
@@ -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 ]
          )