Package Details: gprtools 1:25.0w-1

Git Clone URL: https://aur.archlinux.org/gprbuild.git (read-only, click to copy)
Package Base: gprbuild
Description: Builder for multi-language systems.
Upstream URL: https://github.com/AdaCore/gprbuild/
Licenses: custom, GPL3
Conflicts: gprbuild-bootstrap
Submitter: None
Maintainer: charlie5
Last Packager: charlie5
Votes: 36
Popularity: 0.058241
First Submitted: 2010-02-03 13:25 (UTC)
Last Updated: 2024-05-31 06:07 (UTC)

Pinned Comments

charlie5 commented on 2023-09-16 01:56 (UTC)

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.

charlie5 commented on 2023-07-09 16:43 (UTC) (edited on 2023-09-16 01:56 (UTC) by charlie5)

This package is available in the Arch Ada Repository.

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

Latest Comments

« First ‹ Previous 1 2 3 4 5 6 7 8 9 10 11 Next › Last »

Sven commented on 2023-06-10 22:48 (UTC)

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?

charlie5 commented on 2023-06-10 10:45 (UTC)

@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.

Sven commented on 2023-06-09 17:53 (UTC)

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

Sven commented on 2023-05-20 23:46 (UTC)

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.

charlie5 commented on 2022-01-27 09:37 (UTC)

@Armag67

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

$ pacaur -S gnat-gps

... completed the install.

Armag67 commented on 2022-01-27 01:16 (UTC)

@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.

charlie5 commented on 2022-01-26 12:16 (UTC) (edited on 2022-01-26 12:16 (UTC) by charlie5)

@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.

Armag67 commented on 2022-01-25 13:58 (UTC) (edited on 2022-01-25 13:59 (UTC) by Armag67)

I tried cloning gprbuild in an empty folder and made makepkg -si, but AFTER upgrading libgpr with an AUR helper. And then upgrading gprbuild failed...

Unfortunately, I cleared my AUR cache and I don't know how to downgrade AUR packages as libgpr. How could I git clone an old commit of an AUR package?

charlie5 commented on 2022-01-23 14:57 (UTC) (edited on 2022-01-24 07:08 (UTC) by charlie5)

@Armag67

Perhaps try cloning into a new folder and doing 'makepkg' from there. You may have old build artifacts if you have just 'git pull'ed into an existing gprbuild git repo folder. Or just delete the 'src' folder there.

If you are using pacaur, then delete the gprbuild folder in ~/.cache/pacaur and try again.

xiretza commented on 2022-01-23 11:59 (UTC)

That depends on what you did in the first place, but downgrading libgpr to match gprbuild might lead you in the right direction.