blob: 7445e95e27c03e45432d1b52961a2173d5f85e45 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
{ idris, build-idris-package }: name: deps: build-idris-package (args: {
inherit name;
propagatedBuildInputs = deps;
inherit (idris) src;
postUnpack = ''
mv $sourceRoot/libs/${name} $IDRIS_LIBRARY_PATH
sourceRoot=$IDRIS_LIBRARY_PATH/${name}
'';
})
|