Arch Linux User Repository

I've made a start on the 2019 packages. They should be ready by the end of the weekend.

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