ARM ABIs now have a float field. This is used as a fallback to lessen
our use of `platform.gcc.float`. I didn't know what the MIPs convention
is so I kept using `platform.gcc.float` in that case.
Following legacy packing conventions, `isArm` was defined just for
32-bit ARM instruction set. This is confusing to non packagers though,
because Aarch64 is an ARM instruction set.
The official ARM overview for ARMv8[1] is surprisingly not confusing,
given the overall state of affairs for ARM naming conventions, and
offers us a solution. It divides the nomenclature into three levels:
```
ISA: ARMv8 {-A, -R, -M}
/ \
Mode: Aarch32 Aarch64
| / \
Encoding: A64 A32 T32
```
At the top is the overall v8 instruction set archicture. Second are the
two modes, defined by bitwidth but differing in other semantics too, and
buttom are the encodings, (hopefully?) isomorphic if they encode the
same mode.
The 32 bit encodings are mostly backwards compatible with previous
non-Thumb and Thumb encodings, and if so we can pun the mode names to
instead mean "sets of compatable or isomorphic encodings", and then
voilà we have nice names for 32-bit and 64-bit arm instruction sets
which do not use the word ARM so as to not confused either laymen or
experienced ARM packages.
[1]: https://developer.arm.com/products/architecture/a-profile
(cherry picked from commit ba52ae5048)
Negative reasoning like `allBut` is a bad idea with an open world of
platforms. Concretely, if we add a new, quite different sort of
platform, existing packages with `allBut` will claim they work on it
even though they probably won't.
Semi-automatic update. These checks were performed:
- built on NixOS
- found 1.3.2 with grep in /nix/store/s7iwmkbdw6lhkbiqb91r9j0crqqagc7v-libdvbpsi-1.3.2
- found 1.3.2 in filename of file in /nix/store/s7iwmkbdw6lhkbiqb91r9j0crqqagc7v-libdvbpsi-1.3.2
Semi-automatic update. These checks were performed:
- built on NixOS
- found 3.4.5 with grep in /nix/store/z24cwnyn0qhdxr11d6bh5cjakagdj3n3-libexttextcat-3.4.5
- found 3.4.5 in filename of file in /nix/store/z24cwnyn0qhdxr11d6bh5cjakagdj3n3-libexttextcat-3.4.5
John Ericson
Michael Alan Dorman
Shea Levy
zimbatm
Franz Pletz
Peter Simons
Vladimír Čunát
Piotr Bogdan
Jörg Thalheim
Jörg Thalheim
Chris Burr
adisbladis
makefu
Jan Tojnar
Nikolay Amiantov
Douglas Burke
Joachim F
Ryan Mulligan