Arch Linux User Repository

This package is available in the Arch Ada Repository.

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

hi @GaryScottMartin,

'gnat-gps' has been recently deprecated in favour of 'gnatstudio'.

https://aur.archlinux.org/packages/gnatstudio

Regards.

@krouziciorel

Thanks for the heads-up re gcc 12.1.

The new libre community edition should be out in a week or so. That is when the ada packages are usually updated. I should be able to start having a look into the new updates this weekend, with luck.

Gnatmake is OK, but had problem with gprbuild command, the message about missing libgnarl-11.so library is here too. The simple solution is copy and rename libgnarl-12.so and libgnat-12.so in /usr/lib to libgnarl-11.so and libgnat-11.so.

Gnat Studio is still not working (there is problem for example with xmlada or gtkada too, gcc 12.1 and gcc-ada 12.1 are not fully compatible with more current PKGBUILDS):

gnatstudio: symbol lookup error: /usr/lib/libgtkada.so.18.0w: undefined symbol: system__img_real__image_floating_point

but I can use another editor or IDE and compile all ADA programs.

Nice morning, during the weekend the gcc package in Arch was updated to version 12.1, which according to the changelog supports the upcoming Ada 2022 standard. However, PKGBUILD will need to be updated (and others PKGBUILDs too), Gnat Studio reports this error when trying to run or recompile:

gnatstudio: error while loading shared libraries: libgnarl-11.so

Fortunately, gnatmake is fully functional, so other IDEs can be used for now, e.g. VSCodium.

08-02-2022 - Many thanks for the quick fix, gnat-gps package is working now.

Please examine my error - this day there are upgraded versions of alire, langkit, libadalang, libadalang-tools and libvss and installed without any problem in my system. The only problem package is gnat-gps, when I try to upgrade, I see this error:

Setup

[mkdir] object directory for project Common

[mkdir] object directory for project GNATCOLL_Extras

[mkdir] object directory for project libclang

[mkdir] object directory for project LAL_Core

[mkdir] object directory for project GPS_LSP_Client

[mkdir] object directory for project Memory_Usage

[mkdir] object directory for project Toolchains

[mkdir] object directory for project VCS2

[mkdir] object directory for project Valgrind

Compile

[Ada] gps-main.adb

[C] python_support_gtk.c

[C] gtksupport.c

[C] gtkada_terminal.c

gps-main.adb:173:06: file "vss-json-streams.ads" not found

gps-main.adb:173:06: "GPS.MAIN (body)" depends on "GPS.LSP_MODULE (spec)"

gps-main.adb:173:06: "GPS.LSP_MODULE (spec)" depends on "LSP.TYPES (spec)"

gps-main.adb:173:06: "LSP.TYPES (spec)" depends on "LSP.JSON_STREAMS (spec)"

gps-main.adb:173:06: "LSP.JSON_STREAMS (spec)" depends on "VSS.JSON.STREAMS (spec)"

compilation of gps-main.adb failed

gprbuild: *** compilation phase failed

make[1]: *** [Makefile:46: all] Chyba 4

make[1]: Opouští se adresář „/home/wanbli/.cache/yay/gnat-gps/src/gnatstudio- 22.0/gnatstudio“

make: *** [Makefile:21: all] Chyba 2

==> ERROR: Error in build().

I thing there is problem in outdated gtkada package, but I am not sure, can you please try to install new versions of these packages?

@Armag67 I don't really know. The sooner the better though :).

Hello charlie5,

Now it works again fine. Do you know when gnat-gps will fully transition to Python 3 and drop all Python 2 dependencies?

@Armag67 Thanks for the heads up. Should build now.

Hello,

Since last shift to python 3.10, gnat-gps is broken:

gnatstudio: error while loading shared libraries: libpython3.9.so.1.0: cannot open shared object file: No such file or directory

even trying to rebuild fails, /usr/bin/ld doesn't find -lpython3.9

Hi @DHouck,

The PKGBUILD does in fact build the gps binary from the adacore gitub source. The tarball I host on github only contains the gps 'assets' which are taken from the ada libre community edition. The assets end up in /usr/share/gnatstudio. This was required because the assets in the github version did not work, whilst the assets from the community edition did. The problems were mostly related to python2/3 mismatches.

Any improvements to the PKGBUILD would be very welcome. GPS has been notoriously difficult to build for many years. Using the assets tarball is admittedly ugly but was really the only practical way. So, yes, very interested in any helpful patches.

Regards.

Iʼm sorry for my tone. I was suspicious because this is an AUR package (not even named with a -bin suffix) which downloads a binary I couldnʼt find the source of, and I try to at least somewhat audit AUR packages before installing them, but thatʼs no excuse for my aggression.

As for building it myself, Iʼll try editing the PKGBUILD to incorporate the suggested change in https://github.com/AdaCore/gps/issues/98 and see how it goes. If that doesnʼt work, Iʼll probably at least want to try changing it to use the scripts at https://github.com/AdaCore/gnat_community_install_script.

If I manage that (presumably only the second one will work right), would you be interested in a patch to the PKGBUILD to help other people who try to verify AUR packages seem safe before installing?