Commit 8f88d575 authored by Mathew Polzin's avatar Mathew Polzin
Browse files

idris2Packages.pack: add make runtime dependency

parent 2e9dfb12

pkgs/development/compilers/idris2/pack.nix

+3 −0
Original line number Diff line number Diff line
@@ -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 ]

          )