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

I get the same error. I'll try to take a look at it in the next few days.

@charlie5

Gnat-gps is working with gcc-ada 12.1.0-1, but unfortunately after upgrading with my testing repository to gcc-ada 12.1.0-2 I see this long error message:

Unhandled Exception raised raised STORAGE_ERROR : s-intman.adb:136 explicit raise [/usr/lib/libgnarl-12.so] 0x62376d739b04 [/usr/lib/libc.so.6] 0x62376d0a38de [/usr/lib/libpython2.7.so.1.0] 0x62376ee38e0e new_threadstate.lto_priv.0 at pystate.c:201 0x62376eda078d PyGILState_Ensure.cold at pystate.c:604 [/usr/lib/libgnatcoll_python.so.0] 0x6237735e5e3c 0x6237736023d2 0x37f93da95f 0x37f8d16115 0x37f93d928d [/usr/lib/libc.so.6] 0x62376d08e28e 0x62376d08e348 0x37f93d9303 0xfffffffffffffffe

Unhandled Exception raised raised PROGRAM_ERROR : finalize/adjust raised exception [/usr/lib/libgnarl-12.so] 0x62376d743f26 [/usr/lib/libgnat-12.so] 0x62376d40b1e5 0x62376d40cacd 0x62376d40c84a 0x62376d62004b [/usr/lib/libgcc_s.so.1] 0x62376d2889ba _Unwind_ForcedUnwind_Phase2 at unwind.inc:171 0x62376d28928b _Unwind_Resume at unwind.inc:244 0x37f8d161f8 0x37f93d928d [/usr/lib/libc.so.6] 0x62376d08e28e 0x62376d08e348 0x37f93d9303 0xfffffffffffffffe

Unhandled Exception raised raised PROGRAM_ERROR : finalize/adjust raised exception [/lib64/ld-linux-x86-64.so.2] 0x6237759e3cfc [/usr/lib/libc.so.6] 0x62376d0a5ef3 0x62376d0a606e [/usr/lib/libgnat-12.so] 0x62376d61c93c 0x62376d40b313 0x62376d40cacd 0x62376d40c84a 0x62376d62004b [/usr/lib/libgcc_s.so.1] 0x62376d2889ba _Unwind_ForcedUnwind_Phase2 at unwind.inc:171 0x62376d28900e _Unwind_ForcedUnwind at unwind.inc:218 [/usr/lib/libgnat-12.so] 0x62376d40c7f6 0x62376d40c80b [/usr/lib/libgnarl-12.so] 0x62376d743f26 [/usr/lib/libgnat-12.so] 0x62376d40b1e5 0x62376d40cacd 0x62376d40c84a 0x62376d62004b [/usr/lib/libgcc_s.so.1] 0x62376d2889ba _Unwind_ForcedUnwind_Phase2 at unwind.inc:171 0x62376d28928b _Unwind_Resume at unwind.inc:244 0x37f8d161f8 0x37f93d928d [/usr/lib/libc.so.6] 0x62376d08e28e 0x62376d08e348 0x37f93d9303 0xfffffffffffffffe

I will switch back to the stable gcc version, it's strange that such a small update would generate so many errors. However, in Arch linux we have to take these problems into account. Many thanks to updating all necessary packages.

@charlie5

This is excellent work, yes, more Ada PKGBUILDs need to be updated, I had tested and sucessfully compiled:

adacurses ada-libfswatch ahven alire aunit fswatch gnatcol* gnatmem gnatsymbolize gprbuild gprbuild-bootstrap gtkada ini_file_manager langkit libadalang libadalang-tools libvss sdlada sphinxcontrib-adadomain xmlada

This time I am unable to compile:

ada_language_server ada_sockets ada_spawn ada-web-server florist gnat-gps gnat_util inotify-ada

After weekend I will continue with my tests.

I'm very happy that you are preparing all the necessary packages for Arch Linux, for other distributions the developer in this perfect language is dependent on translation from source code or the use of a graphical installer from Ada Core. I am really looking forward to the new version of Ada 2022.

@krouziciorel

I'm working on the gnat-gps package stack atm. 'gprbuild-bootstrap' and 'xmlada' are done. 'libgpr' is in progress. Next is 'gprbuild' proper.

@charlie5

Thank you very much for the quick reply, I thought AdaCore would have to respond to the new gcc version. The important thing is that the gnatmake and gprbuild utilities are working. When the new Libre community edition comes out and the PKGBUILDs are updated I will test it right away.

@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 :).