diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-03-10 20:27:46 -0800 |
---|---|---|
committer | Adam Joseph <adam@westernsemico.com> | 2022-03-10 20:30:19 -0800 |
commit | ff69b8c2bf81f848979f18a47f18941979c5eaf2 (patch) | |
tree | eab30c2c98827b329c796e65a6c2107ec8fa38e0 /lib/systems/examples.nix | |
parent | 6de935a0126efde78feefbbe3bddfaa6be2bda6a (diff) | |
download | nixpkgs-ff69b8c2bf81f848979f18a47f18941979c5eaf2.tar nixpkgs-ff69b8c2bf81f848979f18a47f18941979c5eaf2.tar.gz nixpkgs-ff69b8c2bf81f848979f18a47f18941979c5eaf2.tar.bz2 nixpkgs-ff69b8c2bf81f848979f18a47f18941979c5eaf2.tar.lz nixpkgs-ff69b8c2bf81f848979f18a47f18941979c5eaf2.tar.xz nixpkgs-ff69b8c2bf81f848979f18a47f18941979c5eaf2.tar.zst nixpkgs-ff69b8c2bf81f848979f18a47f18941979c5eaf2.zip |
Ericson2314's suggestion here: https://github.com/NixOS/nixpkgs/pull/161158#discussion_r822295406
Diffstat (limited to 'lib/systems/examples.nix')
-rw-r--r-- | lib/systems/examples.nix | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/lib/systems/examples.nix b/lib/systems/examples.nix index 1ee704a1811..997a7a8c273 100644 --- a/lib/systems/examples.nix +++ b/lib/systems/examples.nix @@ -93,9 +93,25 @@ rec { config = "mipsel-unknown-linux-gnu"; } // platforms.fuloong2f_n32; - mips64el-linux-gnuabin32 = platforms.mips64el-linux-gnuabin32; # the rust project does not publish a bootstrap tarball for gnuabin32 - mips64el-linux-gnuabi64 = platforms.mips64el-linux-gnuabi64 // { rustc.config = "mips64el-unknown-linux-gnuabi64"; }; - mips64el-qemu-linux-gnuabi64 = platforms.mips64el-qemu-linux-gnuabi64; + # MIPS ABI table transcribed from here: https://wiki.debian.org/Multiarch/Tuples + + # can execute on 32bit chip + mips-linux-gnu = { config = "mips-linux-gnu"; } // platforms.gcc_mips32r2_o32; + mipsel-linux-gnu = { config = "mipsel-linux-gnu"; } // platforms.gcc_mips32r2_o32; + mipsisa32r6-linux-gnu = { config = "mipsisa32r6-linux-gnu"; } // platforms.gcc_mips32r6_o32; + mipsisa32r6el-linux-gnu = { config = "mipsisa32r6el-linux-gnu"; } // platforms.gcc_mips32r6_o32; + + # require 64bit chip (for more registers, 64-bit floating point, 64-bit "long long") but use 32bit pointers + mips64-linux-gnuabin32 = { config = "mips64-linux-gnuabin32"; } // platforms.gcc_mips64r2_n32; + mips64el-linux-gnuabin32 = { config = "mips64el-linux-gnuabin32"; } // platforms.gcc_mips64r2_n32; + mipsisa64r6-linux-gnuabin32 = { config = "mipsisa64r6-linux-gnuabin32"; } // platforms.gcc_mips64r6_n32; + mipsisa64r6el-linux-gnuabin32 = { config = "mipsisa64r6el-linux-gnuabin32"; } // platforms.gcc_mips64r6_n32; + + # 64bit pointers + mips64-linux-gnuabi64 = { config = "mips64-linux-gnuabi64"; } // platforms.gcc_mips64r2_64; + mips64el-linux-gnuabi64 = { config = "mips64el-linux-gnuabi64"; } // platforms.gcc_mips64r2_64; + mipsisa64r6-linux-gnuabi64 = { config = "mipsisa64r6-linux-gnuabi64"; } // platforms.gcc_mips64r6_64; + mipsisa64r6el-linux-gnuabi64 = { config = "mipsisa64r6el-linux-gnuabi64"; } // platforms.gcc_mips64r6_64; muslpi = raspberryPi // { config = "armv6l-unknown-linux-musleabihf"; |