diff --git a/pkgs/development/compilers/idris2/pack.nix b/pkgs/development/compilers/idris2/pack.nix index 7e65a3f73a77..f041e3bce857 100644 --- a/pkgs/development/compilers/idris2/pack.nix +++ b/pkgs/development/compilers/idris2/pack.nix @@ -2,6 +2,12 @@ lib, idris2Packages, fetchFromGitHub, + clang, + chez, + gmp, + zsh, + makeBinaryWrapper, + stdenv, }: let inherit (idris2Packages) idris2Api buildIdris; @@ -42,6 +48,28 @@ let filepath ]; + nativeBuildInputs = [ makeBinaryWrapper ]; + + buildInputs = [ + gmp + clang + chez + ] ++ lib.optionals stdenv.hostPlatform.isDarwin [ zsh ]; + + postInstall = '' + wrapProgram $out/bin/pack \ + --suffix C_INCLUDE_PATH : ${lib.makeIncludePath [ gmp ]} \ + --suffix PATH : ${ + lib.makeBinPath ( + [ + clang + chez + ] + ++ lib.optionals stdenv.hostPlatform.isDarwin [ zsh ] + ) + } + ''; + meta = { description = "An Idris2 Package Manager with Curated Package Collections"; mainProgram = "pack";