089ff89f49
These servers apparently no longer exist, since September 2, 2021[1]. If somebody needs this for non-Scaleway machines, they should suggest its reintroduction with a different name. [1]: https://news.ycombinator.com/item?id=27192757
26 lines
749 B
Nix
26 lines
749 B
Nix
{system ? builtins.currentSystem}:
|
|
|
|
let
|
|
make = crossSystem: import ./make-bootstrap-tools.nix {
|
|
localSystem = { inherit system; };
|
|
inherit crossSystem;
|
|
};
|
|
lib = import ../../../lib;
|
|
in lib.mapAttrs (n: make) (with lib.systems.examples; {
|
|
armv5tel = sheevaplug;
|
|
pogoplug4 = pogoplug4;
|
|
armv6l = raspberryPi;
|
|
armv7l = armv7l-hf-multiplatform;
|
|
aarch64 = aarch64-multiplatform;
|
|
x86_64-musl = musl64;
|
|
armv6l-musl = muslpi;
|
|
aarch64-musl = aarch64-multiplatform-musl;
|
|
riscv64 = riscv64;
|
|
mips64el-linux-gnuabin32 = mips64el-linux-gnuabin32;
|
|
mips64el-linux-gnuabi64 = mips64el-linux-gnuabi64;
|
|
powerpc64 = ppc64;
|
|
powerpc64-musl = ppc64-musl;
|
|
powerpc64le = powernv;
|
|
powerpc64le-musl = musl-power;
|
|
})
|