Package Details: gprbuild-bootstrap 1:23.0.0-1

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: custom, GPL3
Submitter: charlie5
Maintainer: charlie5 (xiretza)
Last Packager: charlie5
Votes: 8
Popularity: 0.000000
First Submitted: 2017-06-05 05:06 (UTC)
Last Updated: 2022-11-15 10:01 (UTC)

Latest Comments

pmderodat commented on 2018-04-08 09:16 (UTC)

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 (UTC)

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 (UTC)

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 (UTC)

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'