build: Add Fedora 42, and make it default

Author: mpe

README.md

@@ -78,6 +78,7 @@ There are images for various toolchains, they are encoded in the distro name/ver
  - `ubuntu@20.04`: Ubuntu 20.04, gcc 9.4.0, binutils 2.34
  - `ubuntu@18.04`: Ubuntu 18.04, gcc 7.5.0, binutils 2.30
  - `ubuntu@16.04`: Ubuntu 16.04, gcc 5.4.0, binutils 2.26.1
+ - `fedora@42`: Fedora 42, gcc 15.1.1, binutils 2.44-1, clang 20.1.3
  - `fedora@41`: Fedora 41, gcc 14.2.1, binutils 2.43.1-2, clang 19.1.7
  - `fedora@40`: Fedora 40, gcc 14.0.1, binutils 2.41-34, clang 18.1.1
  - `fedora@39`: Fedora 39, gcc 13.2.1, binutils 2.40-14, clang 17.0.6

build/Makefile

@@ -1,6 +1,6 @@
 all: help
 
-export FEDORA_LATEST := 41
+export FEDORA_LATEST := 42
 
 x86 = $(filter x86_64,$(shell uname -m))
 isa_3 = $(filter arch_3_00,$(shell LD_SHOW_AUXV=1 /bin/true))
@@ -16,7 +16,7 @@ endif
 
 UBUNTU_DISTROS += ubuntu@20.04 ubuntu@18.04 ubuntu@16.04 ubuntu
 
-FEDORA_DISTROS := fedora@${FEDORA_LATEST} fedora@40 fedora@39 fedora@38 fedora@37 fedora@36 fedora@35 fedora@34 fedora@33 fedora@31 fedora
+FEDORA_DISTROS := fedora@${FEDORA_LATEST} fedora@41 fedora@40 fedora@39 fedora@38 fedora@37 fedora@36 fedora@35 fedora@34 fedora@33 fedora@31 fedora
 KORG_DISTROS := korg@14.2.0 korg@14.1.0 korg@13.3.0 korg@13.2.0 korg@13.1.0 \
                 korg@12.4.0 korg@12.3.0 korg@12.2.0 korg@12.1.0 korg@11.3.0 \
                 korg@11.1.0 korg@10.3.0 korg@9.4.0 korg@9.3.0 korg@8.5.0 \