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 abcl: 1.4.0 -> 1.5.0 2017-08-21 03:04:43 -04:00
adobe-flex-sdk treewide: use more HTTPS URLs 2018-03-24 22:04:25 -07:00
aldor pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
aliceml aliceml: mark as broken 2017-03-30 13:52:23 +02:00
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 asn1c: 0.9.27 -> 0.9.28 2017-05-07 11:50:47 +02:00
aspectj aspectj: use sha256 hash 2017-01-24 16:41:21 +00:00
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 typo 2017-11-10 22:48:33 +01:00
bigloo treewide: fixup packages with RPATH problems 2017-05-16 18:30:58 +02:00
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 added berkeley upc 2016-05-06 10:06:08 +01:00
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 clasp-common-lisp: init at 0.4.99.20170801 2017-10-24 08:43:41 +02:00
clean
closure closurecompiler: 20180319 -> 20180402 2018-04-20 07:10:42 -07:00
cmdstan cmdstan: 2.9.0 -> 2.17.1 (#33076) 2017-12-26 17:44:13 +00:00
cmucl Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper" 2017-09-07 12:51:21 +02:00
colm colm: loosen platform restrictions 2018-01-05 20:10:13 +01:00
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 crystal: 0.23.1 -> 0.24.1 2017-12-25 00:53:29 +08:00
cudatoolkit Give working advice for running nix-prefetch-url 2018-03-04 17:28:36 +00:00
dale misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
dev86 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
dmd dmd: 2.078.2 -> 2.079.0 2018-03-03 18:29:48 +01:00
dotnet/sdk dotnet-sdk : init at 2.0.3 2017-10-25 00:04:16 +02:00
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 Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
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 corrected spelling mistake 2018-01-08 16:45:10 +11:00
fsharp41 treewide: Manual fix more pkg-config build-inputs 2017-09-21 15:49:54 -04:00
fstar ocamlPackages.batteries: 2.7.0 -> 2.8.0 2017-11-14 17:53:53 +00:00
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 gcc-arm-embedded: 5-2016-q2-update -> 6-2017-q2-update 2017-08-15 21:36:30 +02:00
gcl gcl_2_6_13_pre: init at 2.6.13pre50. GCL hasn't had releases for a long time, but there are relatively regular prereleases 2017-01-03 18:06:46 +01:00
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-cobol: 2.0-rc2 -> 2.2 2017-12-21 10:40:02 +01:00
gnu-smalltalk treewide: Manual fix more pkg-config build-inputs 2017-09-21 15:49:54 -04:00
go treewide: isArm -> isAarch32 2018-04-25 15:28:55 -04:00
gprolog pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
graalvm graalvm8: dontFixup = true 2018-03-14 09:29:02 +00:00
gwt treewide: abandon Google Code homepages 2017-11-03 18:52:28 +00:00
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 inform7: init at 6M62 2016-12-04 17:22:54 -06:00
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 jikes: use sha256 hash 2017-01-24 16:42:44 +00:00
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 jwasm: init at git-2017-11-22 2018-01-05 01:48:11 -02:00
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 Included darwin in supported platforms for lessc compiler. 2016-07-25 21:32:53 -04:00
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 matter-compiler: use gemdir 2017-01-18 00:52:51 +01:00
mcpp pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
mentor treewide: homepage+src updates (found by repology, #33263) 2018-01-05 20:42:46 +01:00
mercury
meta-environment/meta-build-env metaBuildEnv: use sha256 hash 2017-01-24 16:48:43 +00:00
mezzo OCaml modules: make explicit some dependencies to ocamlbuild 2016-10-09 11:55:19 +02:00
microscheme microscheme: replaced avrgcclibc with separate dependencies 2017-09-05 13:52:34 +02:00
mit-scheme mitschemeX11: init at 9.2 2017-12-26 22:32:23 -05:00
mkcl mkcl: 1.1.9 -> 1.1.10.2017-11-14 2017-11-15 17:10:00 +00:00
mlton mlton: darwin bootstrap fixes 2016-09-25 20:47:16 -04:00
mono mono: add knownVulnerabilities for 4.0.4 2018-04-22 15:46:51 -05:00
mozart Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper" 2017-09-07 12:51:21 +02:00
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 treewide: homepage+src updates (found by repology, #33263) 2018-01-05 20:42:46 +01:00
nvidia-cg-toolkit
obliv-c obliv-c: fix build with glibc 2.26 2017-11-28 11:10:44 +00:00
ocaml treewide: isArm -> isAarch32 2018-04-25 15:28:55 -04:00
opa ocamlPackages.ssl: 0.5.3 -> 0.5.4 2017-10-05 17:09:50 +00:00
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 orc: doCheck broken on i686 on Hydra, again 2017-12-01 07:49:25 +01:00
owl-lisp treewide: checkMeta fixes for x86_64-linux 2017-12-07 07:50:47 -05:00
pakcs pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
picat picat: add meta.maintainers 2017-10-22 18:30:33 -06:00
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 ocamlPackages.reason: 3.0.3 -> 3.0.4 2017-12-09 12:42:56 +01:00
rgbds pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
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 treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
shaderc shaderc: mark as broken 2017-09-10 12:38:19 +00:00
smlnj darwin: cleanup obsolete sdks 2017-03-24 08:06:03 +01:00
solc solc: 0.4.19 -> 0.4.20 2018-02-20 12:14:21 +08:00
souffle souffle: Disable parallel building 2017-10-22 21:57:59 +03:00
souper z3_opt: remove and replace with z3 2017-09-02 04:19:11 -05:00
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 terra: Broken on i686 (and Darwin) 2016-09-03 03:24:25 +03:00
teyjus teyjus: actually update to 2.1 2018-03-15 10:37:55 -07:00
tinycc tinycc: 0.9.27pre-20171016 -> 0.9.27 2017-12-18 16:06:42 +01:00
urweb urweb: fix build 2017-12-29 02:18:35 +01:00
vala treewide: remove libintl hacks 2018-03-22 16:50:11 -05:00
vs90wrapper
wla-dx pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
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