Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
456 B · 27 lines
Nix
12345678910111213141516171819202122232425262728# Build a version of idris with a set of packages visible# packages: The packages visible to idris{ lib, idris, symlinkJoin, makeWrapper,}:packages:
let paths = lib.closePropagation packages;inlib.appendToName "with-packages" (symlinkJoin {
inherit (idris) name;
paths = paths ++ [ idris ];
nativeBuildInputs = [ makeWrapper ];
postBuild = '' wrapProgram $out/bin/idris \ --set IDRIS_LIBRARY_PATH $out/libs '';
})