2019-10-03 19:50:34 +02:00
|
|
|
# SPDX-FileCopyrightText: Emery Hemingway
|
|
|
|
#
|
|
|
|
# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
|
|
|
|
|
2019-10-05 19:42:08 +02:00
|
|
|
let
|
|
|
|
tests = call: {
|
|
|
|
fs_report = call ./fs_report.nix { };
|
|
|
|
libc = call ./libc.nix { };
|
|
|
|
log = call ./log.nix { };
|
|
|
|
signal = call ./signal.nix { };
|
2019-10-06 20:35:54 +02:00
|
|
|
solo5 = call ./solo5.nix { };
|
2019-10-08 09:48:45 +02:00
|
|
|
solo5-ping = call ./solo5-ping.nix { };
|
2019-10-05 19:42:08 +02:00
|
|
|
};
|
2019-10-07 17:05:37 +02:00
|
|
|
nixpkgs' = import ./../nixpkgs.nix;
|
|
|
|
in { nixpkgs ? nixpkgs' }:
|
2019-10-03 19:50:34 +02:00
|
|
|
|
|
|
|
let
|
2019-10-07 17:05:37 +02:00
|
|
|
hostPkgs = import nixpkgs { };
|
|
|
|
testPkgs = import ./.. { inherit nixpkgs; };
|
2019-10-03 19:50:34 +02:00
|
|
|
|
2019-10-07 17:05:37 +02:00
|
|
|
lib = hostPkgs.lib // {
|
2019-10-03 19:50:34 +02:00
|
|
|
|
|
|
|
renderDhallInit = path: args:
|
2019-10-07 17:05:37 +02:00
|
|
|
hostPkgs.runCommand "init.xml" {
|
|
|
|
buildInputs = [ testPkgs.buildPackages.linux-dhall ];
|
2019-10-03 19:50:34 +02:00
|
|
|
initConfig = path;
|
|
|
|
initArgs = args;
|
2019-10-07 17:05:37 +02:00
|
|
|
DHALL_PRELUDE = "${testPkgs.dhallPackages.prelude}/package.dhall";
|
|
|
|
DHALL_GENODE = "${testPkgs.dhallPackages.genode}/package.dhall";
|
2019-10-03 19:50:34 +02:00
|
|
|
} ''
|
2019-10-07 17:05:37 +02:00
|
|
|
export XDG_CACHE_HOME=$NIX_BUILD_TOP
|
2019-10-05 19:42:08 +02:00
|
|
|
echo 'let Prelude = env:DHALL_GENODE in Prelude.Init.render (Prelude.Init.defaults ⫽ { children = toMap (env:initConfig env:initArgs) })' \
|
|
|
|
| dhall text \
|
2019-10-03 19:50:34 +02:00
|
|
|
> $out
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
in {
|
2019-10-07 17:05:37 +02:00
|
|
|
linux = tests
|
|
|
|
(import ./driver-linux.nix { inherit testPkgs hostPkgs lib; }).callTest;
|
2019-10-07 21:58:35 +02:00
|
|
|
nova = tests
|
|
|
|
(import ./driver-nova.nix { inherit testPkgs hostPkgs lib; }).callTest;
|
2019-10-03 19:50:34 +02:00
|
|
|
}
|