2019-11-10 14:58:22 +01:00
|
|
|
{
|
|
|
|
description = "Cache of pre-built Genode binaries";
|
|
|
|
|
|
|
|
edition = 201909;
|
|
|
|
|
|
|
|
outputs = { self, nixpkgs }:
|
|
|
|
let
|
|
|
|
unpack = baseUrl:
|
|
|
|
{ name, value }: {
|
|
|
|
inherit name;
|
|
|
|
value = nixpkgs.legacyPackages.x86_64-linux.stdenvNoCC.mkDerivation {
|
|
|
|
pname = name;
|
|
|
|
inherit (value) version;
|
|
|
|
preferLocalBuild = true;
|
|
|
|
src = nixpkgs.legacyPackages.x86_64-linux.fetchurl {
|
|
|
|
url = "${baseUrl}${name}/${value.version}.tar.xz";
|
|
|
|
inherit (value) sha256;
|
|
|
|
};
|
|
|
|
dontConfigure = true;
|
|
|
|
dontBuild = true;
|
|
|
|
installPhase = ''
|
|
|
|
find . -type f | while read FILE; do
|
|
|
|
case $FILE in
|
|
|
|
*.a | *.o) install -Dm444 -t $out/lib $FILE;;
|
|
|
|
*.so) install -Dm555 -t $out/lib $FILE;;
|
|
|
|
*.tar) install -Dm444 -t $out/tar $FILE;;
|
|
|
|
*) install -Dm555 -t $out/bin $FILE;;
|
|
|
|
esac
|
|
|
|
done
|
|
|
|
'';
|
|
|
|
meta = {
|
|
|
|
license = [ "LicenseRef-Genode" ];
|
|
|
|
downloadPage = "${baseUrl}${name}/";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
expand = baseUrl: listing:
|
|
|
|
builtins.listToAttrs (map (unpack baseUrl) listing);
|
|
|
|
|
2019-11-28 15:23:55 +01:00
|
|
|
in {
|
|
|
|
packages.x86_64-genode =
|
|
|
|
expand "http://depot.genode.org/genodelabs/bin/x86_64/"
|
2019-11-10 14:58:22 +01:00
|
|
|
(import ./genodelabs-list.nix);
|
2019-11-28 15:23:55 +01:00
|
|
|
};
|
2019-11-10 14:58:22 +01:00
|
|
|
}
|