Skip to content

Fix dep install fail on RHEL/CentOS-family distros - #897

Open
jordalgo wants to merge 1 commit into
koka-lang:devfrom
jordalgo:install_script
Open

Fix dep install fail on RHEL/CentOS-family distros#897
jordalgo wants to merge 1 commit into
koka-lang:devfrom
jordalgo:install_script

Conversation

@jordalgo

@jordalgo jordalgo commented Jun 5, 2026

Copy link
Copy Markdown

This addresses two bugs:

  1. Wrong group name for non-Fedora dnf distros. install_dependencies runs dnf_groupinstall "c-development", but c-development is a Fedora-only group. On RHEL/CentOS/Rocky/Alma the equivalent is "Development Tools".

  2. Group failure is fatal but redundant. dnf_groupinstall calls stop on failure, aborting the whole install — even though the very next line, dnf_install $deps, installs the actual required packages explicitly. The group is only a convenience bundle and should never be fatal.

Updates:

  • dnf_groupinstall is now best-effort with fallback names. Accepts multiple candidate group names, tries each, and continues (with an info message) if none match — instead of aborting.
  • Widen distro detection to match rhel|centos|rocky|alma|fedora

Tested on my local CentOS machine.

This addresses two bugs:
1. Wrong group name for non-Fedora dnf distros. install_dependencies runs
   dnf_groupinstall "c-development", but c-development is a Fedora-only
   group. On RHEL/CentOS/Rocky/Alma the equivalent is "Development Tools".

2. Group failure is fatal but redundant. dnf_groupinstall calls stop on
   failure, aborting the whole install — even though the very next line,
   `dnf_install $deps`, installs the actual required packages explicitly.
   The group is only a convenience bundle and should never be fatal.

Updates:

- dnf_groupinstall is now best-effort with fallback names. Accepts multiple
  candidate group names, tries each, and continues (with an info message)
  if none match — instead of aborting.
- Widen distro detection to match rhel|centos|rocky|alma|fedora

Tested on my local CentOS machine.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant