2019-07-30 12:48:01 +02:00
|
|
|
let
|
2019-09-24 00:59:53 +02:00
|
|
|
pkgOverlay = self: super:
|
|
|
|
# Overlay of locally defined packages
|
|
|
|
{
|
|
|
|
genode = super.callPackage ./upstream { };
|
|
|
|
dhall = super.callPackage ./dhall { };
|
2019-07-30 12:48:01 +02:00
|
|
|
};
|
|
|
|
|
2019-09-24 00:59:53 +02:00
|
|
|
toolchainOverlay = import ./toolchain-overlay;
|
|
|
|
# Overlay of toolchain patches
|
2019-07-30 12:48:01 +02:00
|
|
|
|
2019-09-24 00:59:53 +02:00
|
|
|
nixpkgs' = builtins.fetchGit {
|
|
|
|
# A branch of Nixpkgs with a custom "crossSystem" mechanism
|
|
|
|
url = "https://github.com/ehmry/nixpkgs.git";
|
|
|
|
ref = "hybrid";
|
|
|
|
rev = "e4d734ace275cae70a776771d034c051956c9cab";
|
|
|
|
};
|
2019-07-30 12:48:01 +02:00
|
|
|
|
2019-09-24 00:59:53 +02:00
|
|
|
in { nixpkgs ? import nixpkgs' }:
|
2019-07-30 12:48:01 +02:00
|
|
|
|
2019-09-24 00:59:53 +02:00
|
|
|
nixpkgs {
|
|
|
|
# Evaluate an overlayed Nixpkgs for a Genode target
|
|
|
|
config.allowUnsupportedSystem = true;
|
|
|
|
crossSystem = {
|
|
|
|
isx86_64 = true;
|
|
|
|
isGenode = true;
|
|
|
|
imports = [ ./platform.nix ];
|
|
|
|
};
|
|
|
|
overlays = [ toolchainOverlay pkgOverlay ];
|
2019-07-30 12:48:01 +02:00
|
|
|
}
|