lib/systems/doubles.nix

   1 { lib }:
   2 let
   3   inherit (lib) lists;
   4   inherit (lib.systems) parse;
   5   inherit (lib.systems.inspect) predicates;
   6   inherit (lib.attrsets) matchAttrs;
   7
   8   all = [
   9     # Cygwin
  10     "i686-cygwin" "x86_64-cygwin"
  11
  12     # Darwin
  13     "x86_64-darwin" "i686-darwin" "aarch64-darwin" "armv7a-darwin"
  14
  15     # FreeBSD
  16     "i686-freebsd" "x86_64-freebsd"
  17
  18     # Genode
  19     "aarch64-genode" "i686-genode" "x86_64-genode"
  20
  21     # illumos
  22     "x86_64-solaris"
  23
  24     # JS
  25     "javascript-ghcjs"
  26
  27     # Linux
  28     "aarch64-linux" "armv5tel-linux" "armv6l-linux" "armv7a-linux"
  29     "armv7l-linux" "i686-linux" "loongarch64-linux" "m68k-linux" "microblaze-linux"
  30     "microblazeel-linux" "mips-linux" "mips64-linux" "mips64el-linux"
  31     "mipsel-linux" "powerpc64-linux" "powerpc64le-linux" "riscv32-linux"
  32     "riscv64-linux" "s390-linux" "s390x-linux" "x86_64-linux"
  33
  34     # MMIXware
  35     "mmix-mmixware"
  36
  37     # NetBSD
  38     "aarch64-netbsd" "armv6l-netbsd" "armv7a-netbsd" "armv7l-netbsd"
  39     "i686-netbsd" "m68k-netbsd" "mipsel-netbsd" "powerpc-netbsd"
  40     "riscv32-netbsd" "riscv64-netbsd" "x86_64-netbsd"
  41
  42     # none
  43     "aarch64_be-none" "aarch64-none" "arm-none" "armv6l-none" "avr-none" "i686-none"
  44     "microblaze-none" "microblazeel-none" "mips-none" "mips64-none" "msp430-none" "or1k-none" "m68k-none"
  45     "powerpc-none" "powerpcle-none" "riscv32-none" "riscv64-none" "rx-none"
  46     "s390-none" "s390x-none" "vc4-none" "x86_64-none"
  47
  48     # OpenBSD
  49     "i686-openbsd" "x86_64-openbsd"
  50
  51     # Redox
  52     "x86_64-redox"
  53
  54     # WASI
  55     "wasm64-wasi" "wasm32-wasi"
  56
  57     # Windows
  58     "x86_64-windows" "i686-windows"
  59   ];
  60
  61   allParsed = map parse.mkSystemFromString all;
  62
  63   filterDoubles = f: map parse.doubleFromSystem (lists.filter f allParsed);
  64
  65 in {
  66   inherit all;
  67
  68   none = [];
  69
  70   arm           = filterDoubles predicates.isAarch32;
  71   armv7         = filterDoubles predicates.isArmv7;
  72   aarch64       = filterDoubles predicates.isAarch64;
  73   x86           = filterDoubles predicates.isx86;
  74   i686          = filterDoubles predicates.isi686;
  75   x86_64        = filterDoubles predicates.isx86_64;
  76   microblaze    = filterDoubles predicates.isMicroBlaze;
  77   mips          = filterDoubles predicates.isMips;
  78   mmix          = filterDoubles predicates.isMmix;
  79   power         = filterDoubles predicates.isPower;
  80   riscv         = filterDoubles predicates.isRiscV;
  81   riscv32       = filterDoubles predicates.isRiscV32;
  82   riscv64       = filterDoubles predicates.isRiscV64;
  83   rx            = filterDoubles predicates.isRx;
  84   vc4           = filterDoubles predicates.isVc4;
  85   or1k          = filterDoubles predicates.isOr1k;
  86   m68k          = filterDoubles predicates.isM68k;
  87   s390          = filterDoubles predicates.isS390;
  88   s390x         = filterDoubles predicates.isS390x;
  89   loongarch64   = filterDoubles predicates.isLoongArch64;
  90   js            = filterDoubles predicates.isJavaScript;
  91
  92   bigEndian     = filterDoubles predicates.isBigEndian;
  93   littleEndian  = filterDoubles predicates.isLittleEndian;
  94
  95   cygwin        = filterDoubles predicates.isCygwin;
  96   darwin        = filterDoubles predicates.isDarwin;
  97   freebsd       = filterDoubles predicates.isFreeBSD;
  98   # Should be better, but MinGW is unclear.
  99   gnu           = filterDoubles (matchAttrs { kernel = parse.kernels.linux; abi = parse.abis.gnu; })
 100                   ++ filterDoubles (matchAttrs { kernel = parse.kernels.linux; abi = parse.abis.gnueabi; })
 101                   ++ filterDoubles (matchAttrs { kernel = parse.kernels.linux; abi = parse.abis.gnueabihf; })
 102                   ++ filterDoubles (matchAttrs { kernel = parse.kernels.linux; abi = parse.abis.gnuabin32; })
 103                   ++ filterDoubles (matchAttrs { kernel = parse.kernels.linux; abi = parse.abis.gnuabi64; })
 104                   ++ filterDoubles (matchAttrs { kernel = parse.kernels.linux; abi = parse.abis.gnuabielfv1; })
 105                   ++ filterDoubles (matchAttrs { kernel = parse.kernels.linux; abi = parse.abis.gnuabielfv2; });
 106   illumos       = filterDoubles predicates.isSunOS;
 107   linux         = filterDoubles predicates.isLinux;
 108   netbsd        = filterDoubles predicates.isNetBSD;
 109   openbsd       = filterDoubles predicates.isOpenBSD;
 110   unix          = filterDoubles predicates.isUnix;
 111   wasi          = filterDoubles predicates.isWasi;
 112   redox         = filterDoubles predicates.isRedox;
 113   windows       = filterDoubles predicates.isWindows;
 114   genode        = filterDoubles predicates.isGenode;
 115
 116   embedded      = filterDoubles predicates.isNone;
 117
 118   mesaPlatforms = ["i686-linux" "x86_64-linux" "x86_64-darwin" "armv5tel-linux" "armv6l-linux" "armv7l-linux" "armv7a-linux" "aarch64-linux" "powerpc64-linux" "powerpc64le-linux" "aarch64-darwin" "riscv64-linux"];
 119 }