pyrox.dev / nixpkgs
lol
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

nixpkgs / pkgs / development / idris-modules / with-packages.nix
at 24.05-pre 20 lines 444 B view raw
Artturin treewide: makeWrapper buildInputs to nativeBuildInputs
c6568adb
1# Build a version of idris with a set of packages visible 2# packages: The packages visible to idris 3{ lib, idris, symlinkJoin, makeWrapper }: packages: 4 5let paths = lib.closePropagation packages; 6in 7lib.appendToName "with-packages" (symlinkJoin { 8 9 inherit (idris) name; 10 11 paths = paths ++ [idris] ; 12 13 nativeBuildInputs = [ makeWrapper ]; 14 15 postBuild = '' 16 wrapProgram $out/bin/idris \ 17 --set IDRIS_LIBRARY_PATH $out/libs 18 ''; 19 20})