Search Criteria
Package Details: gprbuild-bootstrap 1:21.0.0-3
| Git Clone URL: | https://aur.archlinux.org/gprbuild-bootstrap.git (read-only, click to copy) |
|---|---|
| Package Base: | gprbuild-bootstrap |
| Description: | Static GPRbuild to bootstrap XML/Ada and GPRbuild itself |
| Upstream URL: | https://github.com/AdaCore/gprbuild/ |
| Licenses: | |
| Submitter: | charlie5 |
| Maintainer: | charlie5 (xiretza) |
| Last Packager: | charlie5 |
| Votes: | 8 |
| Popularity: | 0.000028 |
| First Submitted: | 2017-06-05 05:06 |
| Last Updated: | 2021-06-21 06:41 |
Dependencies (1)
Required by (6)
- gprbuild (make)
- gprbuild-git (make)
- libgpr (make)
- libgpr-git (make)
- xmlada (make)
- xmlada-git (make)
Latest Comments
pmderodat commented on 2018-04-08 09:16
Hello jockej,
This is clearly unexpected but unfortunately I cannot reproduce: it seems that gprconfig looks for the knowledge base looking at ../share/gprconfig, starting from where the gprconfig binary is installed.
For instance, taking the gprconfig program that I built with makepkg, I have:
$ pwd /home/pmderodat/pkg/gprbuild-bootstrap
$ pkg/gprbuild-bootstrap/usr/bin/gprconfig --help […] --db- : Do not load the standard knowledge base from: /home/pmderodat/temp/ada-pkg/gprbuild-bootstrap/pkg/gprbuild-bootstrap/usr/share/gprconfig
What do you get on your side?
jockej commented on 2018-04-03 12:44
Hello!
I had some problems while trying to install the latest version of gprbuild. It turns out that the "knowledge database" is installed in /usr/share but gprconfig looks for it in /share. This causes very weird errors higher up in the buildchain, and it took me a few hours to figure out.
I solved it by making a symlink, but that is obviously an ugly solution.
Maybe it would be enough to drop the --prefix=/usr from the build?
charlie5 commented on 2017-06-07 06:23
Hi Aphirst,
We've been trying to update the Ada packages to use the latest git versions.
The problem is most likely due to incorrect 'provides' & 'conflicts' settings.
Will look into, asap.
aphirst commented on 2017-06-06 09:47
When trying to install this package I get dependency complaints from other packages. I'm not sure what the best overall solution should be, but what I see is:
[adam@rakka yaourt-tmp-adam]$ sudo pacman -U gprbuild-bootstrap-r3147.g18e2bc01-1-x86_64.pkg.tar
loading packages...
resolving dependencies...
looking for conflicting packages...
:: gprbuild-bootstrap and gprbuild are in conflict. Remove gprbuild? [y/N] y
error: failed to prepare transaction (could not satisfy dependencies)
:: gnatcoll: removing gprbuild breaks dependency 'gprbuild'