pkgs/development/idris-modules/build-builtin-package.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

# Build one of the packages that comes with idris
# pname: The pname of the package
# deps: The dependencies of the package
{ idris, build-idris-package }:
pname: deps:
build-idris-package {

  inherit pname;
  inherit (idris) version;
  inherit (idris) src;

  noPrelude = true;
  noBase = true;

  idrisDeps = deps;

  postUnpack = ''
    sourceRoot=$sourceRoot/libs/${pname}
  '';

  meta = idris.meta // {
    description = "${pname} builtin Idris library";
  };
}