idrisPackages.build-builtin-package: Include version in name
This commit is contained in:
parent
c3acd48763
commit
ca381067e7
@ -1,8 +1,12 @@
|
|||||||
# Build one of the packages that come with idris
|
# Build one of the packages that come with idris
|
||||||
# name: The name of the package
|
# name: The name of the package
|
||||||
# deps: The dependencies of the package
|
# deps: The dependencies of the package
|
||||||
{ idris, build-idris-package, lib }: name: deps: build-idris-package {
|
{ idris, build-idris-package, lib }: name: deps:
|
||||||
inherit name;
|
let
|
||||||
|
inherit (builtins.parseDrvName idris.name) version;
|
||||||
|
in
|
||||||
|
build-idris-package {
|
||||||
|
name = "${name}-${version}";
|
||||||
|
|
||||||
propagatedBuildInputs = deps;
|
propagatedBuildInputs = deps;
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user