idris2Packages.pack: needs gnumake runtime dependency

Nixpkgs version

• Stable (25.11)

Describe the bug

After configuring my system with idris2 and idris2Packages.pack, the pack command failed to install packages because 'make' was not available. I added gnumake to my system-wide package list and it succeeded.

no version of make is listed in the references for pack.

nix-store -q --references $(realpath $(type -path pack))
/nix/store/xx7cm72qy2c0643cm1ipngd87aqwkcdp-glibc-2.40-66
/nix/store/4yik86fnic1l0q1jnrc1mawbcgbriij3-libidris2_support-0.8.0
/nix/store/6fhqixr3bva16bvadsr07wr7p3bc7m77-chez-scheme-10.3.0
/nix/store/bpmq0ln49bp0iak5xlmqgib0vlywz64n-clang-wrapper-21.1.2
/nix/store/f7hbkvplxa9kbd316csian2q6j7wwnjb-gmp-with-cxx-6.3.0-dev
/nix/store/v0vw98kyrg9953jnmadza57wzixz1jfr-pack-2025-11-06

Steps to reproduce

without make installed,
nix-shell -p idris2 -p idris2Packages.pack
pack build dom

Expected behaviour

build idris2 dom package

Screenshots

No response

Relevant log output

Additional context

[ cache ] Caching package info for webidl ............................. (211/212)
[ cache ] Caching package info for xml ................................ (212/212)
stdbuf: failed to run command ‘make’: No such file or directory
[ warning ] Building Idris failed. Trying to bootstrap now.
stdbuf: failed to run command ‘make’: No such file or directory
[ fatal ] Error when executing system command.
Command: "make" "bootstrap" "PREFIX=/home/build/.cache/pack/.tmp0/idris2-compiler/bootstrapped" "SCHEME=scheme"
Error code: 127

System metadata

• system: "x86_64-linux"
• host os: Linux 6.12.62, NixOS, 25.11 (Xantusia)
• multi-user?: yes
• sandbox: yes
• version: nix-env (Nix) 2.31.2
• channels(root): "nixos-24.11, nixos-unstable"
• nixpkgs: /home/build/nix-seereason/nixpkgs-channels

Notify maintainers

---

Note for maintainers: Please tag this issue in your pull request description. (i.e. Resolves #ISSUE.)

I assert that this issue is relevant for Nixpkgs

• I assert that this is a bug and not a support request.
• I assert that this is not a duplicate of an existing issue.
• I assert that I have read the NixOS Code of Conduct and agree to abide by it.

Is this issue important to you?

Add a 👍 reaction to issues you find important.

Start by locating the nixpkgs definition for idris2Packages.pack and inspect how its runtime dependencies are declared. Reproduce the issue with pack build dom in an environment without make, add the required gnumake dependency, and verify that the build succeeds without a system-wide make.