Fix install on Fedora 42

Author: tobiasdiez

.devcontainer/onCreate-meson.sh

@@ -4,7 +4,11 @@ SYSTEM=$(build/bin/sage-guess-package-system)
 
 if [ "$SYSTEM" = "fedora" ]; then
     # Need to use --setopt=tsflags="" to avoid errors with gphelp
-    yum install -y pari-gp --setopt=tsflags=""
+    dnf5 install -y pari-gp --setopt=tsflags=""
+
+    # Mitigate upstream packaging bug: https://bugzilla.redhat.com/show_bug.cgi?id=2332429
+    # by swapping the incorrectly installed OpenCL-ICD-Loader for the expected ocl-icd
+    dnf5 -y swap --repo='fedora' OpenCL-ICD-Loader ocl-icd
 fi
 
 eval $(build/bin/sage-print-system-package-command $SYSTEM "$@" update)

.github/workflows/ci.yml

@@ -44,7 +44,11 @@ jobs:
           SYSTEM=$(build/bin/sage-guess-package-system)
           if [ "$SYSTEM" = "fedora" ]; then
               # Need to use --setopt=tsflags="" to avoid errors with gphelp
-              yum install -y pari-gp --setopt=tsflags=""
+              dnf5 install -y pari-gp --setopt=tsflags=""
+
+              # Mitigate upstream packaging bug: https://bugzilla.redhat.com/show_bug.cgi?id=2332429
+              # by swapping the incorrectly installed OpenCL-ICD-Loader for the expected ocl-icd
+              dnf5 -y swap --repo='fedora' OpenCL-ICD-Loader ocl-icd
           fi
 
           eval $(build/bin/sage-print-system-package-command $SYSTEM update)

build/bin/sage-guess-package-system

@@ -17,7 +17,7 @@ elif emerge --version > /dev/null 2>&1; then
     echo gentoo
 elif apt-get --version > /dev/null 2>&1; then
     echo debian
-elif yum --version > /dev/null 2>&1; then
+elif dnf5 --version > /dev/null 2>&1; then
     echo fedora
 elif pacman --version > /dev/null 2>&1; then
     echo arch

build/bin/sage-print-system-package-command

@@ -154,7 +154,7 @@ case $system:$command in
     @(fedora*|redhat*|centos*):install)
         [ "$YES" = yes ] && options="$options -y"
         [ "$IGNORE_MISSING" = yes ] && options="$options --skip-unavailable"
-        [ -n "$system_packages" ] && print_shell_command ${SUDO}yum install $options $system_packages
+        [ -n "$system_packages" ] && print_shell_command ${SUDO}dnf5 install $options $system_packages
         ;;
     gentoo*:install)
         [ -n "$system_packages" ] && print_shell_command ${SUDO}emerge $system_packages