platforms.nix: selectPlatformBySystem: Convert to "switch-case"

Looks generally nicer and used recently in nixpkgs in e.g.
3e197f7d8 ("top-level: Normalize stdenv booting")
This commit is contained in:
Tuomas Tynkkynen 2016-12-25 20:20:52 +02:00
parent 5ad696b067
commit fd60260a77

View File

@ -443,12 +443,12 @@ rec {
};
};
selectPlatformBySystem = system:
if system == "armv6l-linux" then raspberrypi
else if system == "armv7l-linux" then armv7l-hf-multiplatform
else if system == "armv5tel-linux" then sheevaplug
else if system == "mips64el-linux" then fuloong2f_n32
else if system == "x86_64-linux" then pc64
else if system == "i686-linux" then pc32
else pcBase;
selectPlatformBySystem = system: {
"i686-linux" = pc32;
"x86_64-linux" = pc64;
"armv5tel-linux" = sheevaplug;
"armv6l-linux" = raspberrypi;
"armv7l-linux" = armv7l-hf-multiplatform;
"mips64el-linux" = fuloong2f_n32;
}.${system} or pcBase;
}