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

# Build one of the packages that come with idris
# name: The name of the package
# deps: The dependencies of the package
{ idris, build-idris-package, lib }: name: deps: build-idris-package {
  inherit name;

  propagatedBuildInputs = deps;

  inherit (idris) src;

  postUnpack = ''
    mv $sourceRoot/libs/${name} $IDRIS_LIBRARY_PATH
    sourceRoot=$IDRIS_LIBRARY_PATH/${name}
  '';

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