sigil/packages/default.nix

51 lines
1.2 KiB
Nix
Raw Normal View History

2020-01-16 17:38:23 +01:00
# SPDX-License-Identifier: CC0-1.0
2019-09-27 12:38:35 +02:00
{ system, legacyPackages, depot, apps }:
2019-07-30 12:48:01 +02:00
2019-11-05 17:38:47 +01:00
let
2020-01-16 17:19:42 +01:00
inherit (legacyPackages) callPackage;
2019-11-05 17:38:47 +01:00
2020-01-16 17:19:42 +01:00
dhallPackages = legacyPackages.dhallPackages // (callPackage ./dhall { });
mkDhallManifest = drv:
legacyPackages.runCommand "${drv.name}.dhall" { inherit drv; }
"${apps.generate-manifest.program} $drv > $out";
2020-01-16 17:38:23 +01:00
addManifest = drv: { manifest = mkDhallManifest drv; } // drv;
callPackage' = path: attrs:
addManifest (legacyPackages.callPackages path attrs);
2019-11-05 17:38:47 +01:00
in rec {
2020-01-16 17:19:42 +01:00
inherit (legacyPackages) stdenv;
2020-01-16 17:19:42 +01:00
bender = legacyPackages.buildPackages.callPackage ./bender { };
2019-11-05 17:38:47 +01:00
dhallGenode = dhallPackages.genode;
2019-11-05 17:38:47 +01:00
dhallPrelude = dhallPackages.prelude;
genode = import ./genode {
nixpkgs = legacyPackages;
inherit mkDhallManifest;
};
NOVA = legacyPackages.callPackage ./NOVA { };
libc = callPackage' ./libc { inherit depot; };
2020-01-16 17:19:42 +01:00
nic_bus = callPackage ./nic_bus { inherit (genode) base os; };
2020-01-27 11:59:09 +01:00
solo5 = let drv = callPackage' ./solo5 { inherit genode; };
in drv // { tests = addManifest drv.tests // { pname = "solo5-tests"; }; };
2020-01-16 17:38:23 +01:00
sotest-producer = callPackage' ./sotest-producer {
2020-01-16 17:38:23 +01:00
stdenv = genode.stdenvGcc;
inherit genode;
};
stdcxx = callPackage' ./stdcxx { };
}