tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1# Build one of the packages that comes with idris
2# pname: The pname of the package
3# deps: The dependencies of the package
4{ idris, build-idris-package }:
5pname: deps:
6let
7 inherit (builtins.parseDrvName idris.name) version;
8in
9build-idris-package {
10
11 inherit pname version;
12 inherit (idris) src;
13
14 noPrelude = true;
15 noBase = true;
16
17 idrisDeps = deps;
18
19 postUnpack = ''
20 sourceRoot=$sourceRoot/libs/${pname}
21 '';
22
23 meta = idris.meta // {
24 description = "${pname} builtin Idris library";
25 };
26}