2016-07-16 22:35:30 +00:00
|
|
|
{ config, ... }:
|
2015-09-30 23:48:15 +00:00
|
|
|
|
2016-10-20 18:54:38 +00:00
|
|
|
with import <stockholm/lib>;
|
2015-09-30 23:48:15 +00:00
|
|
|
|
2016-07-16 22:35:30 +00:00
|
|
|
{
|
|
|
|
options.krebs.build = {
|
2015-09-30 23:48:15 +00:00
|
|
|
# TODO deprecate krebs.build.host
|
2016-07-16 22:35:30 +00:00
|
|
|
host = mkOption {
|
2015-09-30 23:48:15 +00:00
|
|
|
type = types.host;
|
|
|
|
};
|
|
|
|
|
2016-07-16 22:35:30 +00:00
|
|
|
profile = mkOption {
|
2016-07-16 22:38:59 +00:00
|
|
|
type = types.absolute-path;
|
2015-09-30 23:48:15 +00:00
|
|
|
default = "/nix/var/nix/profiles/system";
|
|
|
|
};
|
|
|
|
|
2016-07-16 22:35:30 +00:00
|
|
|
source = mkOption {
|
2016-07-16 19:43:38 +00:00
|
|
|
type = types.attrsOf types.source;
|
2016-02-04 04:40:26 +00:00
|
|
|
default = {};
|
2015-09-30 23:48:15 +00:00
|
|
|
};
|
2016-02-16 04:09:09 +00:00
|
|
|
|
2016-07-16 22:35:30 +00:00
|
|
|
# TODO deprecate krebs.build.user
|
|
|
|
user = mkOption {
|
|
|
|
type = types.user;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|