2009-09-10 15:53:31 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
with pkgs.lib;
|
2009-04-29 01:05:03 +02:00
|
|
|
|
|
|
|
let
|
|
|
|
|
2009-09-10 15:53:31 +02:00
|
|
|
failed = map (x: x.message) (filter (x: !x.assertion) config.assertions);
|
|
|
|
|
|
|
|
in
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-04-29 01:05:03 +02:00
|
|
|
{
|
|
|
|
|
2009-09-10 15:53:31 +02:00
|
|
|
options = {
|
|
|
|
|
|
|
|
assertions = mkOption {
|
|
|
|
default = [];
|
2012-04-01 12:54:06 +02:00
|
|
|
example = [ { assertion = false; message = "you can't enable this for that reason"; } ];
|
2009-09-10 15:53:31 +02:00
|
|
|
merge = pkgs.lib.mergeListOption;
|
|
|
|
description = ''
|
|
|
|
This option allows modules to express conditions that must
|
|
|
|
hold for the evaluation of the system configuration to
|
|
|
|
succeed, along with associated error messages for the user.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2009-04-29 01:05:03 +02:00
|
|
|
};
|
|
|
|
|
2009-09-10 15:53:31 +02:00
|
|
|
config = {
|
|
|
|
|
|
|
|
# This option is evaluated always. Thus the assertions are checked as well. hacky!
|
|
|
|
environment.systemPackages =
|
|
|
|
if [] == failed then []
|
|
|
|
else throw "\nFailed assertions:\n${concatStringsSep "\n" (map (x: "- ${x}") failed)}";
|
|
|
|
|
2009-04-29 01:05:03 +02:00
|
|
|
};
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-04-29 01:05:03 +02:00
|
|
|
}
|