nixpkgs/pkgs/development/idris-modules/build-builtin-package.nix
2015-11-27 13:17:17 -05:00

20 lines
469 B
Nix

# 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";
};
}