Arch Linux User Repository

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?

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?

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.

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'