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

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

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

@GaryScottMartin

Possibly the depends are not perfect, atm. I've just started using 'yay', so am not sure.

This weekend, I will be trying to get gprbuild-toolbox adopted as an official Arch package. If that occurs, then all these problems should go away.

GaryScottMartin commented on 2023-06-15 12:28 (UTC)

@charlie5,

I was just thinking about the sequence that worked. I think that it worked because I said no to removing gprbuild-bootstrap the first time it tried to install gprtools, so gprbuild-bootstrap was still around to build gprbuild, but I said no to removing gprbuild-bootstrap again and it ended with an error. The second time, when it reported the conflict between gprtools and gprbuild-bootstrap, I said yes to removing gprbuild-bootstrap. It no longer mattered that it was gone, because I still had the previously built gprtools and gprbuild in cache to be installed. I'm not sure if 'n' for the gprtools conflict and 'y' for gprbuild conflict would have worked in a single pass, but it seems like there are multiple other combinations that will always fail.

charlie5 commented on 2023-06-15 11:42 (UTC) (edited on 2023-06-15 11:42 (UTC) by charlie5)

@GaryScottMartin

Nope, no other packages require gprbuild-bootstrap. It was introduced to break a circular dependency between gprbuild and xmlada. Once gprbuild is installed, gprbuild-bootstrap is no longer needed.

GaryScottMartin commented on 2023-06-15 11:35 (UTC)

@charlie5, That worked. It removed gprbuild-bootstrap, but it installed gprtools and gprbuild.

Log here: https://pastebin.com/0bpiym3d

Would any other packages ever require gprbuild-bootstrap, or is it only needed to bootstrap the full gprbuild package?

charlie5 commented on 2023-06-15 11:34 (UTC)

@GaryScottMartin

Nice! ... I played with a Beaglebone Blue a few years ago for a hobby robot :).

Yep, pop into #ada anytime. The more ppl there, the better :).

GaryScottMartin commented on 2023-06-15 11:25 (UTC)

@charlie5,

Thanks for the info on the IRC server. I will drop in when I get some time. I haven't done any scientific coding in a long time (I'm a retired project manager/aero engr). But I had Arch for ARM running on a Beaglebone Black a few years ago and am thinking about some amateur radio projects that would involve Ada code running on a BBB.

Regards,

Gary

charlie5 commented on 2023-06-15 11:20 (UTC)

@GaryScottMartin

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

'gprtools' should replace 'gprbuild-bootstrap'.

GaryScottMartin commented on 2023-06-15 11:14 (UTC)

@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

charlie5 commented on 2023-06-15 11:14 (UTC) (edited on 2023-06-15 11:15 (UTC) by charlie5)

tfl5034

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