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

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.

Hi @tfl5034,

Hmm, I don't see any references to the old filesystem url's in the PKGBUILD on the AUR page. Updating source info showed no change from what has already been committed. Can you pastebin the build log, please?

Regards.

@charlie5, I think there may still be an issue with the PKGBUILD still referencing the old filesystem dependencies. I think you need to regenerate .SRCINFO.

@Sven,

The problem with pacaur was that it downloads/prepares all packages before beginning the build/package phases. Pikaur does not do this and worked fine.

Still, in order to support pacaur, I've added the individual source tarballs to a gitgub project of mine.

https://github.com/charlie5/archlinux-gnatstudio-support

So now these are used instead of the 'file:///' tarballs.

I tried using the 'download the gnatstudio-sources tarball directly' approach, which you suggested, but it meant d/l'ing a large tarball for each of the 27 packages in the gnatstudio stack, greatly increasing build time. This does not happen when using the approach I mention above.

Xmlada had a regular dependency on gnatstudio-sources instead of a build time dependency as a result of me not understanding the problem with pacaur and just trying various options. So it was a mistake.

Regards.