Arch Linux User Repository

hi @wvxvw

Apologies for these problems.

Can you please try the following ...

$ pamac build gprbuild-bootstrap
$ pamac build xmlada
$ pamac build gprbuild gprbuild-toolbox

I've also redirected the doc build output to a log file.

Also, the Ada packages are now available in an unofficial Arch repository.

https://wiki.archlinux.org/title/Unofficial_user_repositories

Thanks for reporting.

Regards.

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Unofficial_user_repositories

@GaryScottMartin

Hmm, what happens when you respond 'y' to the conflict?

'gprtools' should replace 'gprbuild-bootstrap'.

@Charlie5,

The clean build generated the same error again. It was able to successfully build and install gprbuild-bootstrap, xmlada, and libgpr, but reported that

:: gprtools and gprbuild-bootstrap are in conflict. Remove gprbuild-bootstrap? [y/N]

I have been waiting for Pastebin to finish its save of the log file. It just finished and the log is here: https://pastebin.com/TLANzRgY

Regards,

Gary

tfl5034

Yep, 'which' is superfluous and now removed. Cheers.

@GaryScottMartin

Great news, thanks for the prompt reply.

Gnatstudio should also now builds/installs ok (with all the bells/whistles) from source and using Arch's native python, if you happen to use Gnatstudio.

Also, I am on #ada on 'irc.libera.chat' server, if you happen to like IRC. It's a friendly channel and even has a few Adacore people present :). Also makes for much quicker issue/response times. So please feel free to drop in :).

Regards.

@charlie5,

Initially, I got the same result again: incompatibility between gprbuild and gprbuild-bootstrap. However, the build was using the previously built packages from the cache(s) even though they had been uninstalled by Pacman (or yay). I have since uninstalled xmlada and gprbuild-bootstrap and cleared the Pacman and yay caches. Everything is clean building now.

Regards.

@GaryScottMartin @tfl5034

Sorry for the delay and inconvenience. We're in the middle of updating all of the gnatstudio package stack to the latest versions (24.0w).

Could you please try this ...

$ yay -Rsc xmlada
$ yay -S gprbuild-toolbox

Regards.

@charlie5, I think you resolved the issue I mentioned earlier. Now I am seeing the same error as @GaryScottMartin.

As a side-note, I think the which dependency is unnecessary as it's pulled in by base-devel which is assumed to be installed.

The gprtools repository is now empty, so after successfully installing xmlada and gprbuild-bootstrap with makepkg and successfully installing libgpr with yay, both yay and makepkg still fail to install gprbuild with the message that gprbuild-bootstrap and gprbuild are in conflict. The complete log for the makepkg attempt is here: https://pastebin.com/A6e6n6Va. The log from the successful build of gprbuild-bootstrap with makepkg is here: https://pastebin.com/YPZA4n49.

I have been trying to reinstall the GNAT packages after removing them a while ago. My attempts with yay all fail because it tells me either that gprbuild conflicts with gprbuild-bootstrap or that gprbuild conflicts with gprtools. Neither removing the conflict nor ignoring it results in a successful build. Consequently, I have fallen back to installing packages from the AUR one at a time with makepkg in order of required dependencies. Installing libgpr with makepkg after successful installs of gprbuild-bootstap and xmlada results in a compile failure:

   compilation of gpr-util.adb failed
   compilation of gpr.adb failed
   compilation of gpr-tree.adb failed

gprbuild: *** compilation phase failed

The complete log is here: https://pastebin.com/sv86KYqJ

I was able to successfully install libgpr with yay. It downloads the gprbuild package, rather than the libgpr package.