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 .. 11 Next › Last »

charlie5 commented on 2023-06-15 10:57 (UTC)

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

GaryScottMartin commented on 2023-06-15 10:38 (UTC)

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

charlie5 commented on 2023-06-15 10:12 (UTC)

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

tfl5034 commented on 2023-06-15 05:45 (UTC)

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

GaryScottMartin commented on 2023-06-14 00:18 (UTC) (edited on 2023-06-14 00:26 (UTC) by GaryScottMartin)

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.

GaryScottMartin commented on 2023-06-13 23:29 (UTC) (edited on 2023-06-13 23:49 (UTC) by GaryScottMartin)

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.

charlie5 commented on 2023-06-12 12:20 (UTC)

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.

tfl5034 commented on 2023-06-12 04:46 (UTC)

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

charlie5 commented on 2023-06-11 08:58 (UTC)

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