Package Details: xmlada 2018-3

Git Clone URL: (read-only)
Package Base: xmlada
Description: An XML parser for Ada95
Upstream URL:
Licenses: custom, GPL3
Conflicts: xmlada-git
Submitter: None
Maintainer: charlie5
Last Packager: charlie5
Votes: 17
Popularity: 0.028356
First Submitted: 2010-02-02 16:26
Last Updated: 2018-09-14 12:35

Latest Comments

1 2 Next › Last »

charlie5 commented on 2019-05-12 14:31


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.

Pjboughner commented on 2019-05-12 12:25

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)

charlie5 commented on 2019-05-11 05:06


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.

Pjboughner commented on 2019-05-11 03:49

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.

Pjboughner commented on 2019-05-10 02:23

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

charlie5 commented on 2019-05-04 05:21


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

Pjboughner commented on 2019-04-26 04:32

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

Alad commented on 2018-09-07 10:53

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

fintatarta commented on 2017-12-24 14:21

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


(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").

Jiehong commented on 2017-10-21 14:39

This is not building properly, and it ends up with the following error:

raised ADA.IO_EXCEPTIONS.END_ERROR : a-tigeli.adb:96
make: *** [Makefile:120: install-static-pic] Error 1