nixpkgs/pkgs/development/compilers
John Ericson ba52ae5048 treewide: isArm -> isAarch32
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
2018-04-25 15:28:55 -04:00
..
abcl
adobe-flex-sdk treewide: use more HTTPS URLs 2018-03-24 22:04:25 -07:00
aldor
aliceml
arachne-pnr arachne-pnr: 2018.02.14 -> 2018.03.07 2018-03-08 21:23:20 -06:00
as31 as31: use cve tag in patchname for vulnix auto-detection 2018-04-22 17:45:44 +02:00
asn1c
aspectj
ats
ats2 bumping ATS2 version form 0.3.7 to 0.3.9 2018-03-08 19:15:54 +00:00
avian avian: fix darwin build 2018-03-14 20:38:54 +01:00
avra
bigloo
binaryen binaryen: 44 -> 45 2018-03-31 18:35:15 -07:00
boo tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
bupc
ccl ccl: fix darwin build 2018-03-14 23:02:52 +01:00
chez chez-scheme: 9.5-20171109 -> 9.5.1 2018-02-10 14:14:04 -06:00
chicken treewide: get rid of platforms.allBut 2018-03-14 18:44:42 -04:00
clasp
clean
closure closurecompiler: 20180319 -> 20180402 2018-04-20 07:10:42 -07:00
cmdstan
cmucl
colm
compcert compcert: Permit building with Coq 8.7.2 2018-02-16 14:10:45 -08:00
coreclr coreclr: 2.0.0 -> 2.0.7 2018-04-12 14:44:42 +01:00
crystal
cudatoolkit Give working advice for running nix-prefetch-url 2018-03-04 17:28:36 +00:00
dale
dev86
dmd dmd: 2.078.2 -> 2.079.0 2018-03-03 18:29:48 +01:00
dotnet/sdk
dtc dtc: fetch over https 2018-03-13 14:26:18 +01:00
ecl ecl: Use boehmgc 2018-04-24 00:42:47 +02:00
edk2 edk2, OVMF: Build on aarch64 2018-03-21 23:19:26 +02:00
eli eli: init at 4.8.1 2018-04-13 18:13:41 +02:00
elm elm: override either for elm-interface-to-json 2018-04-02 01:05:03 +02:00
emscripten treewide: rename bad filenames 2018-04-17 15:42:25 -05:00
eql
factor-lang treewide: transition from mesa_glu to libGLU 2018-02-24 17:05:43 +02:00
fpc lazarus: 1.8.0 -> 1.8.2 2018-03-20 09:49:12 -07:00
fsharp
fsharp41
fstar
gambit gambit-unstable: init at 2018-03-26 2018-04-04 07:39:48 -04:00
gcc treewide: isArm -> isAarch32 2018-04-25 15:28:55 -04:00
gcc-arm-embedded
gcl
gerbil gerbil-unstable: init at 2018-04-03 2018-04-04 07:43:00 -04:00
gforth
ghc treewide: isArm -> isAarch32 2018-04-25 15:28:55 -04:00
ghcjs Merge pull request #38288 from ElvishJerricco/elvishjerricco-ghcjs-maintainer 2018-04-06 10:54:57 +02:00
glslang vulkan-loader: 1.0.61.1 -> 1.1.70.0 2018-03-22 21:41:04 -07:00
gnu-cobol
gnu-smalltalk
go treewide: isArm -> isAarch32 2018-04-25 15:28:55 -04:00
gprolog
graalvm graalvm8: dontFixup = true 2018-03-14 09:29:02 +00:00
gwt
haxe haxe: Fix path to stdlib and add small test 2018-04-17 13:59:36 +02:00
hhvm hhvm: fix build with gcc7 2018-02-18 18:41:39 +01:00
hop
iasl iasl: 20170303 -> 20180313 2018-04-07 08:56:06 -07:00
icedtea-web icedtea8_web: 1.6.2 -> 1.7.1 2018-04-02 10:52:44 -07:00
inform7
intercal
ios-cross-compile
ispc ispc: 20170807 -> 1.9.2 2018-01-15 12:25:03 +01:00
jetbrains-jdk Merge pull request #33688 from concatime/patch-1 2018-04-08 11:33:37 +01:00
jikes
jsonnet jsonnet: 0.9.5 -> 0.10.0 (#37455) 2018-03-20 11:18:38 -04:00
julia julia_04: mark as broken 2018-04-12 23:04:01 +02:00
jwasm
kotlin kotlin: 1.2.31 -> 1.2.40 2018-04-20 04:30:43 -07:00
ldc ldc: 1.7.0 -> 1.8.0 2018-03-07 18:12:29 +01:00
lessc
llvm llvm_34, llvm_35: Bring ARMv7 back to platforms 2018-04-04 21:57:57 +03:00
manticore manticore: 2014.08.18 -> 2017.08.22, fix build 2018-03-13 23:51:19 +01:00
matter-compiler
mcpp
mentor
mercury
meta-environment/meta-build-env
mezzo
microscheme
mit-scheme
mkcl
mlton
mono mono: add knownVulnerabilities for 4.0.4 2018-04-22 15:46:51 -05:00
mozart
nasm nasm: 2.13.02 -> 2.13.03 2018-02-28 10:18:38 +08:00
neko treewide: use more HTTPS URLs 2018-03-24 22:04:25 -07:00
nim
nvidia-cg-toolkit
obliv-c
ocaml treewide: isArm -> isAarch32 2018-04-25 15:28:55 -04:00
opa
opendylan Merge pull request #37634 from coreyoconnor/opendylan 2018-04-09 14:01:00 -05:00
openjdk treewide: rename bad filenames 2018-04-17 15:42:25 -05:00
oraclejdk oraclejdk: 10 -> 10.0.1 2018-04-19 23:42:59 +09:00
orc
owl-lisp
pakcs
picat
polyml polyml: 5.7 -> 5.7.1 2018-03-29 11:16:14 -07:00
ponyc ponyc: Not supported on aarch64 2018-01-23 21:42:30 +02:00
purescript/psc-package psc-package v0.3.2-pre -> v0.3.2 2018-04-07 16:00:33 -06:00
reason
rgbds
rust rustc: disable test on i686 2018-04-21 18:52:39 +01:00
sbcl treewide: isArm -> isAarch32 2018-04-25 15:28:55 -04:00
scala scala: 2.12.4 -> 2.12.5 2018-03-20 09:38:42 -04:00
sdcc sdcc: 3.6.0 -> 3.7.0 2018-03-12 08:35:16 +01:00
serpent
shaderc
smlnj
solc solc: 0.4.19 -> 0.4.20 2018-02-20 12:14:21 +08:00
souffle
souper
squeak Remove nckx as a maintainer for all packages 2018-01-16 23:00:49 +01:00
stalin
swi-prolog swi-prolog: 7.4.2 -> 7.6.4 2018-03-13 22:46:39 -07:00
swift swift: loosen platforms to all linux other than known-bad i686 2018-03-31 00:19:46 -05:00
terra
teyjus teyjus: actually update to 2.1 2018-03-15 10:37:55 -07:00
tinycc
urweb
vala treewide: remove libintl hacks 2018-03-22 16:50:11 -05:00
vs90wrapper
wla-dx
yap yap: -fpermissive to fix build with gcc7 2018-02-18 18:11:11 +01:00
yasm
yosys yosys: fix build with clang 2018-04-16 11:47:49 +00:00
z88dk z88dk: init at unstable-2018-02-20 (#35244) 2018-02-20 22:06:25 +00:00
zig zig: 0.1.1 -> 0.2.0 2018-03-20 13:32:10 -04:00
zulu zulu8: 8.21.0.1 -> 8.28.0.1 & openjdk: 8.0.131 -> 8.0.163 2018-04-07 11:34:47 -04:00