2019-06-25 13:27:16 +02:00
|
|
|
{ name, channelName, src }:
|
2012-01-03 02:51:38 +01:00
|
|
|
|
|
|
|
derivation {
|
2019-03-27 23:40:35 +01:00
|
|
|
builder = "builtin:unpack-channel";
|
|
|
|
|
|
|
|
system = "builtin";
|
2012-08-01 22:34:17 +02:00
|
|
|
|
2019-03-27 23:40:35 +01:00
|
|
|
inherit name channelName src;
|
2012-08-01 22:34:17 +02:00
|
|
|
|
2012-04-26 16:52:08 +02:00
|
|
|
# No point in doing this remotely.
|
|
|
|
preferLocalBuild = true;
|
2012-01-03 02:51:38 +01:00
|
|
|
}
|