mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-19 03:48:57 +00:00
18 lines
491 B
Nix
18 lines
491 B
Nix
{ symlinkJoin, makeWrapper, stdenv }: idris: { path, lib }:
|
|
|
|
symlinkJoin {
|
|
name = idris.name;
|
|
src = idris.src;
|
|
paths = [ idris ];
|
|
buildInputs = [ makeWrapper ];
|
|
meta.platforms = idris.meta.platforms;
|
|
postBuild = ''
|
|
wrapProgram $out/bin/idris \
|
|
--suffix PATH : ${ stdenv.lib.makeBinPath path } \
|
|
--suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib}
|
|
|
|
mkdir -p $out/nix-support
|
|
substituteAll ${./setup-hook.sh} $out/nix-support/setup-hook
|
|
'';
|
|
}
|