diff --git a/tests/driver-linux.nix b/tests/driver-linux.nix index e05052a..2f29d2e 100644 --- a/tests/driver-linux.nix +++ b/tests/driver-linux.nix @@ -36,7 +36,7 @@ let ''; }; - makeTest = { name ? "unamed", testScript, testConfig, bootModules, ... }@t: + mkTest = { name ? "unamed", testScript, testConfig, bootModules, ... }@t: with testPkgs; let bootModules' = { @@ -85,8 +85,12 @@ let in { callTest = path: args: - makeTest (import path ({ + (import path ({ + testEnv = { + inherit mkTest lib; + isLinux = true; + isNova = false; + }; pkgs = testPkgs; - inherit lib; } // args)); } diff --git a/tests/driver-nova.nix b/tests/driver-nova.nix index a33d6cc..91ce92e 100644 --- a/tests/driver-nova.nix +++ b/tests/driver-nova.nix @@ -41,8 +41,8 @@ let coreNovaObj = "${testPkgs.depot.base-nova}/lib/core-nova.o"; }; - makeTest = { name ? "unamed", testScript, testConfig, bootModules - , qemuMem ? 32, ... }@t: + mkTest = { name ? "unamed", testScript, testConfig, bootModules, qemuMem ? 32 + , ... }@t: let iso = mkIso (with testPkgs; { @@ -130,12 +130,19 @@ let test = passMeta (runTests driver); - in test // { inherit driver iso test; config = testConfig; }; + in test // { + inherit driver iso test; + config = testConfig; + }; in { callTest = path: args: - makeTest (import path ({ + (import path ({ + testEnv = { + inherit mkTest lib; + isLinux = false; + isNova = true; + }; pkgs = testPkgs; - inherit lib; } // args)); } diff --git a/tests/fs_report.nix b/tests/fs_report.nix index e2f0447..de32281 100644 --- a/tests/fs_report.nix +++ b/tests/fs_report.nix @@ -1,7 +1,7 @@ -{ pkgs, lib }: +{ testEnv, pkgs }: with pkgs; -{ +testEnv.mkTest { name = "fs_report"; meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ]; diff --git a/tests/libc.nix b/tests/libc.nix index d10b28f..14203f0 100644 --- a/tests/libc.nix +++ b/tests/libc.nix @@ -1,11 +1,11 @@ -{ pkgs, lib }: +{ testEnv, pkgs }: with pkgs; -rec { +testEnv.mkTest rec { name = "libc"; meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ]; - testConfig = lib.renderDhallInit ./libc.dhall "{=}"; + testConfig = testEnv.lib.renderDhallInit ./libc.dhall "{=}"; bootModules = { "libc.lib.so" = "${depot.libc}/lib/libc.lib.so"; diff --git a/tests/log.nix b/tests/log.nix index d1c4e3b..db5528a 100644 --- a/tests/log.nix +++ b/tests/log.nix @@ -1,11 +1,11 @@ -{ pkgs, lib }: +{ testEnv, pkgs }: with pkgs; -rec { +testEnv.mkTest rec { name = "log"; meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ]; - testConfig = lib.renderDhallInit ./log.dhall "{=}"; + testConfig = testEnv.lib.renderDhallInit ./log.dhall "{=}"; bootModules.test-log = "${depot.test-log}/bin/test-log"; diff --git a/tests/pci.nix b/tests/pci.nix index dde7b24..b29e9e5 100644 --- a/tests/pci.nix +++ b/tests/pci.nix @@ -1,11 +1,11 @@ -{ pkgs, lib }: +{ testEnv, pkgs }: with pkgs; -{ +testEnv.mkTest { name = "pci"; meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ]; - testConfig = lib.renderDhallInit ./pci.dhall "{=}"; + testConfig = testEnv.lib.renderDhallInit ./pci.dhall "{=}"; bootModules = { acpi_drv = "${genode.os}/bin/acpi_drv"; diff --git a/tests/signal.nix b/tests/signal.nix index 6ab902d..a01c1ac 100644 --- a/tests/signal.nix +++ b/tests/signal.nix @@ -1,11 +1,11 @@ -{ pkgs, lib }: +{ testEnv, pkgs }: with pkgs; -rec { +testEnv.mkTest rec { name = "signal"; meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ]; - testConfig = lib.renderDhallInit ./signal.dhall "{=}"; + testConfig = testEnv.lib.renderDhallInit ./signal.dhall "{=}"; bootModules.test-signal = "${depot.test-signal}/bin/test-signal"; diff --git a/tests/solo5-ping.nix b/tests/solo5-ping.nix index ea61554..bcf98ce 100644 --- a/tests/solo5-ping.nix +++ b/tests/solo5-ping.nix @@ -1,11 +1,11 @@ -{ pkgs, lib }: +{ testEnv, pkgs }: with pkgs; -rec { +testEnv.mkTest rec { name = "solo5"; meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ]; - testConfig = lib.renderDhallInit ./solo5-ping.dhall "{=}"; + testConfig = testEnv.lib.renderDhallInit ./solo5-ping.dhall "{=}"; bootModules = { nic_bridge = "${genode.os}/bin/nic_bridge"; diff --git a/tests/solo5.nix b/tests/solo5.nix index 6372c57..ca521ff 100644 --- a/tests/solo5.nix +++ b/tests/solo5.nix @@ -1,11 +1,11 @@ -{ pkgs, lib }: +{ testEnv, pkgs }: with pkgs; -rec { +testEnv.mkTest rec { name = "solo5"; meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ]; - testConfig = lib.renderDhallInit ./solo5.dhall "{=}"; + testConfig = testEnv.lib.renderDhallInit ./solo5.dhall "{=}"; bootModules = { sequence = "${genode.os}/bin/sequence";