forked from DGNum/infrastructure
Tom Hubrecht
88d9b8c3e3
Signed-off-by: Tom Hubrecht <tom.hubrecht@dgnum.eu> Acked-by: Ryan Lahfa <ryan.lahfa@dgnum.eu> Acked-by: Maurice Debray <maurice.debray@dgnum.eu> Acked-by: Lubin Bailly <lubin.bailly@dgnum.eu> Acked-by: Jean-Marc Gailis <jean-marc.gailis@dgnum.eu> as the legal authority, at the time of writing, in DGNum. Acked-by: Elias Coppens <elias.coppens@dgnum.eu> as a member, at the time of writing, of the DGNum executive counsel.
41 lines
1,001 B
Nix
41 lines
1,001 B
Nix
# SPDX-FileCopyrightText: 2024 Tom Hubrecht <tom.hubrecht@dgnum.eu>
|
|
# SPDX-FileContributor: Maurice Debray <maurice.debray@dgnum.eu>
|
|
#
|
|
# SPDX-License-Identifier: EUPL-1.2
|
|
|
|
# Nix expression to check if meta module is evaluating correctly.
|
|
# To do so run `nix-build ./verify.nix`
|
|
let
|
|
sources = import ../npins;
|
|
pkgs = import sources.nixpkgs { };
|
|
|
|
dns = import sources."dns.nix" { inherit pkgs; };
|
|
in
|
|
|
|
{
|
|
meta =
|
|
let
|
|
config = (import ./.) pkgs.lib;
|
|
failed = builtins.map (x: "- ${x.message}") (builtins.filter (x: !x.assertion) config.assertions);
|
|
in
|
|
if (failed != [ ]) then
|
|
throw ''
|
|
|
|
Failed assertions:
|
|
${builtins.concatStringsSep "\n" failed}
|
|
''
|
|
else
|
|
pkgs.writers.writeJSON "meta.json" config;
|
|
|
|
dns = dns.util.writeZone "dgnum.eu" (
|
|
pkgs.lib.recursiveUpdate { SOA.serial = 0; } (
|
|
import ./dns.nix {
|
|
inherit dns;
|
|
|
|
lib = pkgs.lib // {
|
|
extra = import ../lib/nix-lib;
|
|
};
|
|
}
|
|
)
|
|
);
|
|
}
|