dhall-genode: update to fix missing parent-provides
This commit is contained in:
parent
0c981604d8
commit
bdcc22d5be
|
@ -8,8 +8,8 @@ dhallPackages.buildDhallPackage {
|
||||||
code = let
|
code = let
|
||||||
src = fetchgit {
|
src = fetchgit {
|
||||||
url = "https://git.sr.ht/~ehmry/dhall-genode";
|
url = "https://git.sr.ht/~ehmry/dhall-genode";
|
||||||
rev = "8c547f017cba7780ce4334c0b4702f6c441b8819";
|
rev = "5232afe7983ebdd152d33928cacbfa607c2d236e";
|
||||||
sha256 = "1adpyigpha9iqmpdvrz8pl9sbgc65vdm9h37khm13w2kixwlkqq4";
|
sha256 = "1kw11v8lnkq5jd5rygl6ql11g285lqqzq1cp14w3j34ah4jsqaxh";
|
||||||
};
|
};
|
||||||
in src + "/package.dhall";
|
in src + "/package.dhall";
|
||||||
|
|
||||||
|
|
|
@ -4,15 +4,11 @@
|
||||||
with pkgs;
|
with pkgs;
|
||||||
|
|
||||||
let
|
let
|
||||||
defaultScript = ''
|
mkTest' = { name, testConfig, testInputs ? [ ]
|
||||||
run_genode_until {SOTEST END} 30
|
|
||||||
'';
|
|
||||||
|
|
||||||
mkTest' = { name, testConfig, testScript ? defaultScript, testInputs ? [ ]
|
|
||||||
, ... }@attrs:
|
, ... }@attrs:
|
||||||
testEnv.mkTest (attrs // {
|
testEnv.mkTest (attrs // {
|
||||||
name = "solo5-" + name;
|
name = "solo5-" + name;
|
||||||
inherit testConfig testScript;
|
inherit testConfig;
|
||||||
testInputs = [ pkgs.solo5 pkgs.solo5.tests ] ++ testInputs;
|
testInputs = [ pkgs.solo5 pkgs.solo5.tests ] ++ testInputs;
|
||||||
});
|
});
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue