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

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.

So there are two solutions to this problem: 1) Add a build time dependency on gnatstudio-sources to gprbuild directly rather than having the indirect dependency via xmlada 2) Have gprbuild download the gnatstudio-sources directly instead of having a build time dependency (direct or indirect)

Also, why does xmlada have a regular dependency on gnatstudio-sources instead of a build time dependency?

@Sven,

The 'gprbuild' package has a new (indirect, via xmlada) dependency named 'gnatstudio-sources'. Unfortunately, pacaur is not currently honouring that dependency. Until that problem is sorted, please install the gnatstudio-sources package explicitly via pacaur, pikaur or by hand.

Thank you for the note/fix regarding non-english locale bug. I will add it in, asap.

Regards.

Is there a reason why the PKGBUILD is using files from /opt/gnatstudio-sources/ ? Please fix the PKGBUILD asap. For example, use the gnatstudio sources and extract the gprtools sources from there.

Also please note, that gprbuild has a known bug not to work with non-english locale. This can be fixed inside PKGBUILD by exporting LC_ALL=C. Also see the upstream bug report: https://github.com/AdaCore/gprconfig_kb/issues/21

gprbuild fails with "can't find a native toolchain for language 'ada'" if the system is set to a non-english locale. This is a serious bug and should be reported upstream. If I do it, I will post it here.

In my case it is sufficient to temporarily set LANG=C in the current shell.

@Armag67

I've encountered the same problem. A second ...

$ pacaur -S gnat-gps

... completed the install.

@charlie5 & @xiretza, thanks for your advices.

It worked, but with same build failures:

...
:: Construction du paquet gnat-gps...
==> Création du paquet gnat-gps 2021-3 (mer. 26 janv. 2022 16:20:00)
==> Vérification des dépendances pour l’exécution…
==> Installation des dépendances manquantes…
erreur : impossible de trouver la cible : ada_language_server
==> ERREUR : « pacman » n’a pas pu installer les dépendances manquantes.
==> Dépendances manquantes :
  -> ada_language_server
  -> python2-gobject
==> Vérification des dépendances pour la compilation…
==> ERREUR : Échec de résolution des dépendances.
:: ada-libfswatch is now an orphan package
:: ada_spawn is now an orphan package
:: gnatcoll-db2ada is now an orphan package
:: gnatcoll-gmp is now an orphan package
:: gnatcoll-python2 is now an orphan package
:: gnatcoll-xref is now an orphan package
:: gprbuild is now an orphan package
:: python2-yaml is now an orphan package
:: failed to build langkit package(s)
:: failed to build libadalang package(s)
:: failed to build libadalang-tools package(s)
:: failed to build ada_language_server package(s)
:: failed to build gnat-gps package(s)

I needed to build and install one by one langkit, libadalang, libadalang-tools, ada_language_server and then gnat-gps.

@Armag67

Hard to diagnose when I can't repeat the problem.

All I can suggest is this ...

$ sudo pacman -Rsc gcc-ada

$ pacaur -S gnat-gps

... that is wipe all ada packages and rebuild all from scratch.