Arch Linux User Repository

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Ada

@mindbound

The problem is due to gcc being updated to version 13. You'll have to re-build/re-install gprbuild-bootstrap, then xmlada, then gprbuild.

So ...

$ pacaur -S gprbuild-bootstrap

$ pacaur -S xmlada

$ pacaur -S gprbuild

gcc-ada 9.1.0 is out. Could you please update the dependencies?

@Pjboughner,

As you suggest, "Do not load the standard knowledge base from: /share/gprconfig" appears to be the problem. 'gprbuild' is looking in the wrong place for its config.

Atm, I'm not sure why it is looking in '/share', rather than '/usr/share' (as on my box), for 'gprconfig'.

As a temporary workaround, you might try

$ sudo ln -s /usr/share /share

Btw, the next release of the libre GPL packages should be within a few weeks, so the workaround should only be temporary.

thanks again!

gprconfig -h returns

--version Display version and exit --help Display usage and exit

--target=target (x86_64-pc-linux-gnu by default) Select specified target or "all" for any target. --show-targets : List all compiler targets available. --mi-show-compilers : List all compilers available in a parser-friendly way. --batch : batch mode, no interactive compiler selection. -v : verbose mode. -q : quiet output. -o file : Name and directory of the output file. default is default.cgpr --db dir : Parse dir as an additional knowledge base. --db- : Do not load the standard knowledge base from: /share/gprconfig --validate : Validate the contents of the knowledge base before loading. --config=language[,version[,runtime[,path[,name]]]] Preselect a compiler. Name is either one of the names of the blocks in the knowledge base ('GCC', 'GCC-28',...) or the base name of an executable ('gcc', 'gnatmake'). An empty string can be specified for any of the optional parameters The known compilers are:

there is a usr/share/gprconfig folder (with files) gprbuild-bootstrap installs xmlada won't build

I think I got -git's to build once, but gnat-gps replaced them all

Reading through grpconfig -h it does appear that the knowledge db it's looking for is in the wrong place (or it's looking in the wrong place for Arch maybe)

@Pjboughner,

It appears to be a similar problem to flintatarta's. Can you show the output of

$ gprconfig -h

Also, is there a /usr/share/gprconfig folder on your sytem ?

GPS (or libadalang, rather) requires a specific version of 'quex', hence the need for quex-for-libadalang.

There is a circular dependency. 'gprbuild' depends on 'libgpr', which depends on 'xmlada', which depends on 'gprbuild'. The circularity is broken by introducing 'gprbuild-bootstrap'.

The normal build order should be: gprbuild-bootstrap xmlada libgpr gprbuild (which should replace gprbuild-bootstrap)

Hope this helps.

I'm probably missing something important, but... I can install gprbuild-bootstrap. If I just install gnat-gps it uninstalls gprbuild-bootstrap and fails to build xmlada with the same error. Is the same problem @flintatarta reported?

The choice for gnat-gps build is quex-for-libadalang or just quex. They both fail for libgpr>=2018 and libgpr failsfor xmlada. Seems like some kind of circular dependency.

@charlie5, OK, I will go did there for a while. Thanks

@Pjboughner,

I can't repeat the problem. It looks like gprbuild has not been installed properly.

Can't get past this

gprbuild -j0 -m -R -p -XLIBRARY_TYPE=static -XBUILD=Production -XPROCESSORS=0 xmlada.gpr -cargs -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -largs -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now No valid configuration found Generation of configuration files failed GNAT-TEMP-000001.TMP:1:01: "project" expected gprbuild: processing of configuration project "/tmp/GNAT-TEMP-000001.TMP" failed make: *** [Makefile:68: static] Error 4

What's going on with this "2018 update"? This conflicts AND provides with itself (???), and as far as pacman is concerned "18" < "2017".

I too had problems in building the package, but solved them. I am writing my experience for future help.

makepkg was stopping with "No valid configuration found." It turned out that the default knowledge base of gprconfig was not correctly installed. More precisely, gprconfig (built, I guess, with gprbuild-bootstrap) was searching the knowledge base in /share/gprbuild, but no /share directory was on my system.

In order to solve the problem I created the /share directory with

sudo mkdir /share

successively I copied the directory gprbuild in

src/gprbuild-gpl-2017-src/share/

(relative to the directory with the PKGBUILD file) in /share with

sudo cp -r src/gprbuild-gpl-2017-src/share/gprbuild /share

The commands above, of course, need to be given as root (therefore, the "sudo").