Changes

Summary

QEMU install: reworked toolchain options - on all x86_64 Linux systems, user can choose between 32-bit and 64-bit toolchain - on all Intel systems, user can choose to override the existing ARM toolchain (and install a precompiled version that's known to work) - on x86 Linux systems, the script should install a 32-bit toolchain without asking - on all systems, user may keep the existing ARM compiler (arm-none-eabi-gdb) and compile gdb 8.1 from source - on non-Intel systems, the script should just check for a valid toolchain, and ask the user to install it manually (not tested)
QEMU install: dropped support for arm-none-eabi-gdb installed from Ubuntu package manager Too much of a moving target, e.g. working on Xenial and Bionic (with different packages!) but broken on Cosmic. Keeping arm-none-eabi-gcc from package manager as an option. For gdb, we'll use either a precompiled toolchain (64-bit 7-2018-q2, or any 32-bit version), or compile gdb 8.1 from source.
QEMU install: minor cleanups
QEMU install: on WSL, do not execute anything when user selects invalid options (32-bit binaries are not going to work anyway)
QEMU install: on Ubuntu/WSL, install the precompiled toolchain even if another (valid) gcc version is present (option #2 in the Ubuntu/WSL menu)
QEMU install: GDB 8.2.x does not work :( - back to GDB 8.1 - GDB 8.2.x is no longer accepted - using precompiled toolchain 7-2018-q2-update for both Mac and WSL (with GDB 8.1.x)
QEMU install: use gdb 8.2.1 when compiling from source (8.1 still accepted as valid)
QEMU install: gdb-multiarch 8.1 or newer may be available on recent WSL (use the same heuristics as with plain Ubuntu)

Changeset 18163:b1db6a5b131f by alex@thinkpad: QEMU install: reworked toolchain options<br><br>- on all x86_64 Linux systems, user can choose between 32-bit and 64-bit toolchain<br>- on all Intel systems, user can choose to override the existing ARM toolchain (and install a precompiled version that's known to work)<br>- on x86 Linux systems, the script should install a 32-bit toolchain without asking<br>- on all systems, user may keep the existing ARM compiler (arm-none-eabi-gdb) and compile gdb 8.1 from source<br>- on non-Intel systems, the script should just check for a valid toolchain, and ask the user to install it manually (not tested)
	`contrib/qemu/install.sh` (diff)
Changeset 18162:b671b1404ae7 by alex@thinkpad: QEMU install: dropped support for arm-none-eabi-gdb installed from Ubuntu package manager<br><br>Too much of a moving target, e.g. working on Xenial and Bionic (with different packages!) but broken on Cosmic.<br><br>Keeping arm-none-eabi-gcc from package manager as an option.<br><br>For gdb, we'll use either a precompiled toolchain (64-bit 7-2018-q2, or any 32-bit version), or compile gdb 8.1 from source.
	`contrib/qemu/install.sh` (diff)
Changeset 18161:db45bb9c5d96 by alex@thinkpad: QEMU install: minor cleanups
	`contrib/qemu/install.sh` (diff)
Changeset 18160:38da9561c160 by alex@thinkpad: QEMU install: on WSL, do not execute anything when user selects invalid options<br>(32-bit binaries are not going to work anyway)
	`contrib/qemu/install.sh` (diff)
Changeset 18159:1a47841d99ff by alex@thinkpad: QEMU install: on Ubuntu/WSL, install the precompiled toolchain even if another (valid) gcc version is present<br><br>(option #2 in the Ubuntu/WSL menu)
	`contrib/qemu/install.sh` (diff)
Changeset 18158:a88e94e1896b by alex@thinkpad: QEMU install: GDB 8.2.x does not work :(<br><br>- back to GDB 8.1<br>- GDB 8.2.x is no longer accepted<br>- using precompiled toolchain 7-2018-q2-update for both Mac and WSL (with GDB 8.1.x)
	`contrib/qemu/install.sh` (diff)
Changeset 18157:f555530a872c by alex@thinkpad: QEMU install: use gdb 8.2.1 when compiling from source<br>(8.1 still accepted as valid)
	`contrib/qemu/install.sh` (diff)
Changeset 18156:129c642793ce by alex@thinkpad: QEMU install: gdb-multiarch 8.1 or newer may be available on recent WSL<br>(use the same heuristics as with plain Ubuntu)
	`contrib/qemu/install.sh` (diff)