python-sphinx
needs to be added to makedepends
:
make: sphinx-build: No such file or directory
make: *** [Makefile:45: html] Error 127
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 |
Submitter: | None |
Maintainer: | charlie5 |
Last Packager: | charlie5 |
Votes: | 36 |
Popularity: | 0.007147 |
First Submitted: | 2010-02-03 13:25 (UTC) |
Last Updated: | 2025-02-05 03:16 (UTC) |
« First ‹ Previous 1 2 3 4 5 6 7 8 .. 11 Next › Last »
python-sphinx
needs to be added to makedepends
:
make: sphinx-build: No such file or directory
make: *** [Makefile:45: html] Error 127
This package is available in the Arch Ada Repository.
https://wiki.archlinux.org/title/Unofficial_user_repositories
@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.
@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.
@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.
@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?
@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 :).
@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
@GaryScottMartin
Hmm, what happens when you respond 'y' to the conflict?
'gprtools' should replace 'gprbuild-bootstrap'.
Pinned Comments
charlie5 commented on 2023-09-16 01:56 (UTC)
hi @wvxvw
Apologies for these problems.
Can you please try the following ...
I've also redirected the doc build output to a log file.
Also, the Ada packages are now available in an unofficial Arch repository.
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.