tjh.dev
1# Build a version of idris with a set of packages visible
2# packages: The packages visible to idris
3{
4 lib,
5 idris,
6 symlinkJoin,
7 makeWrapper,
8}:
9packages:
10
11let
12 paths = lib.closePropagation packages;
13in
14lib.appendToName "with-packages" (symlinkJoin {
15
16 inherit (idris) name;
17
18 paths = paths ++ [ idris ];
19
20 nativeBuildInputs = [ makeWrapper ];
21
22 postBuild = ''
23 wrapProgram $out/bin/idris \
24 --set IDRIS_LIBRARY_PATH $out/libs
25 '';
26
27})