-
Notifications
You must be signed in to change notification settings - Fork 194
Open
Description
bash-5.3$ curl -sSL https://github.com/koka-lang/koka/releases/latest/download/install.sh | sh
which: no koka in (/home/domin/.opam/default/bin:/home/domin/.cabal/bin:/home/domin/.ghcup/bin:/home/domin/.local/bin:/home/domin/.local/share/gnome-shell/extensions/ddterm@amezin.github.com/bin:/home/domin/.opam/default/bin:/home/domin/.cabal/bin:/home/domin/.ghcup/bin:/home/domin/.cargo/bin:/usr/local/bin:/usr/bin)
Installing koka v3.2.2 for ubuntu linux-x64
Installing dependencies..
Need to use 'sudo' for further install at: /usr/local
[sudo] password for domin:
Unknown argument "groupinstall" for command "dnf5". Add "--help" for more information about the arguments.
It could be a command provided by a plugin, try: dnf5 install 'dnf5-command(groupinstall)'
installing dnf package group failed (Development Tools). Please run 'dnf check-update' and try again.
bash-5.3$ The installation script wrongly assumes the platform to be ubuntu, even though I use Fedora 43
Metadata
Metadata
Assignees
Labels
No labels