diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2018-05-10 16:35:04 -0400 |
---|---|---|
committer | John Ericson <John.Ericson@Obsidian.Systems> | 2018-05-10 16:35:04 -0400 |
commit | 67db915a4391d5c74307089a388ada26a03dadff (patch) | |
tree | ad08c490ac215efd93c5d49dca892be28efeee97 /lib/systems | |
parent | 1d90ea9194633503e30494fa5e050924c8a3e56f (diff) | |
parent | 5789cf479146e698ad5c6645fddf8a7a14475885 (diff) | |
download | nixlib-67db915a4391d5c74307089a388ada26a03dadff.tar nixlib-67db915a4391d5c74307089a388ada26a03dadff.tar.gz nixlib-67db915a4391d5c74307089a388ada26a03dadff.tar.bz2 nixlib-67db915a4391d5c74307089a388ada26a03dadff.tar.lz nixlib-67db915a4391d5c74307089a388ada26a03dadff.tar.xz nixlib-67db915a4391d5c74307089a388ada26a03dadff.tar.zst nixlib-67db915a4391d5c74307089a388ada26a03dadff.zip |
Merge remote-tracking branch 'upstream/master' into staging
Diffstat (limited to 'lib/systems')
-rw-r--r-- | lib/systems/default.nix | 7 | ||||
-rw-r--r-- | lib/systems/parse.nix | 12 |
2 files changed, 17 insertions, 2 deletions
diff --git a/lib/systems/default.nix b/lib/systems/default.nix index 0e1a10c1f64b..ee4c29660a55 100644 --- a/lib/systems/default.nix +++ b/lib/systems/default.nix @@ -50,5 +50,12 @@ rec { } // mapAttrs (n: v: v final.parsed) inspect.predicates // args; in assert final.useAndroidPrebuilt -> final.isAndroid; + assert lib.foldl + (pass: { assertion, message }: + if assertion final + then pass + else throw message) + true + (final.parsed.abi.assertions or []); final; } diff --git a/lib/systems/parse.nix b/lib/systems/parse.nix index 16d657a5435a..08f2fb445de3 100644 --- a/lib/systems/parse.nix +++ b/lib/systems/parse.nix @@ -192,7 +192,15 @@ rec { abis = setTypes types.openAbi { android = {}; cygnus = {}; - gnu = {}; + gnu = { + assertions = [ + { assertion = platform: !platform.isAarch32; + message = '' + The "gnu" ABI is ambiguous on 32-bit ARM. Use "gnueabi" or "gnueabihf" instead. + ''; + } + ]; + }; msvc = {}; eabi = {}; androideabi = {}; @@ -270,7 +278,7 @@ rec { kernel = getKernel args.kernel; abi = /**/ if args ? abi then getAbi args.abi - else if isLinux parsed then abis.gnu + else if isLinux parsed then (if isAarch32 parsed then abis.gnueabi else abis.gnu) else if isWindows parsed then abis.gnu else abis.unknown; }; |