Arch Linux User Repository

Workaround for bad line numbering => Disable 'code folding' in preferences.

To enable 'Find All References' => Append 'GPS.LSP.ADA_SUPPORT=no' to ~/.gnatstudio/traces.cfg.

To enable ptrace in gdb => $ echo 0 | sudo tee /proc/sys/kernel/yama/ptrace_scope.

A version of gcc-ada with Ada runtime exception symbols included is pending. Please visit https://bugs.archlinux.org/index.php?do=details&action=details.addvote&task_id=49895 and vote for a fix.

As krouziciorel and with gcc and gcc-ada all at 12.1.0-2 version, I have this traceback with plenty unhandled exceptions raising:

Unhandled Exception raised
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
[/usr/lib/libgnarl-12.so]
0x7f3ea61f8b04
[/usr/lib/libc.so.6]
0x7f3ea5b628de
[/usr/lib/libpython2.7.so.1.0]
0x7f3ea78f9e0e new_threadstate.lto_priv.0 at pystate.c:201
0x7f3ea786178d PyGILState_Ensure.cold at pystate.c:604
[/usr/lib/libgnatcoll_python.so.0]
0x7f3eac0cfe5c
0x7f3eac0ec3f2
0x561d56f1695f
0x561d56852115
0x561d56f1528d
[/usr/lib/libc.so.6]
0x7f3ea5b4d28e
0x7f3ea5b4d348
0x561d56f15303
0xfffffffffffffffe

Unhandled Exception raised
raised PROGRAM_ERROR : finalize/adjust raised exception
[/usr/lib/libgnarl-12.so]
0x7f3ea6202f26
[/usr/lib/libgnat-12.so]
0x7f3ea5eca1e5
0x7f3ea5ecbacd
0x7f3ea5ecb84a
0x7f3ea60df04b
[/usr/lib/libgcc_s.so.1]
0x7f3ea5d479ba _Unwind_ForcedUnwind_Phase2 at unwind.inc:171
0x7f3ea5d4828b _Unwind_Resume at unwind.inc:244
0x561d568521f8
0x561d56f1528d
[/usr/lib/libc.so.6]
0x7f3ea5b4d28e
0x7f3ea5b4d348
0x561d56f15303
0xfffffffffffffffe

Unhandled Exception raised
raised PROGRAM_ERROR : finalize/adjust raised exception
[/lib64/ld-linux-x86-64.so.2]
0x7f3eae4d9cfc
[/usr/lib/libc.so.6]
0x7f3ea5b64ef3
0x7f3ea5b6506e
[/usr/lib/libgnat-12.so]
0x7f3ea60db93c
0x7f3ea5eca313
0x7f3ea5ecbacd
0x7f3ea5ecb84a
0x7f3ea60df04b
[/usr/lib/libgcc_s.so.1]
0x7f3ea5d479ba _Unwind_ForcedUnwind_Phase2 at unwind.inc:171
0x7f3ea5d4800e _Unwind_ForcedUnwind at unwind.inc:218
[/usr/lib/libgnat-12.so]
0x7f3ea5ecb7f6
0x7f3ea5ecb80b
[/usr/lib/libgnarl-12.so]
0x7f3ea6202f26
[/usr/lib/libgnat-12.so]
0x7f3ea5eca1e5
0x7f3ea5ecbacd
0x7f3ea5ecb84a
0x7f3ea60df04b
[/usr/lib/libgcc_s.so.1]
0x7f3ea5d479ba _Unwind_ForcedUnwind_Phase2 at unwind.inc:171
0x7f3ea5d4828b _Unwind_Resume at unwind.inc:244
0x561d568521f8
0x561d56f1528d
[/usr/lib/libc.so.6]
0x7f3ea5b4d28e
0x7f3ea5b4d348
0x561d56f15303
0xfffffffffffffffe

even after a total rebuild with sudo pacman -Rsc gcc-ada and then pacaur -S gnat-gps...

A few days ago, the binary version of Gnat Studio Continuous Release 20220512 was released and works without any problems:

https://github.com/AdaCore/gnatstudio/releases/tag/gnatstudio-cr-20220512

and I'm using it now until the stable version comes out.

@charlie5

Thank you for your excellent work with Ada packages, yes, dependency on frequently updated package gcc and gcc-ada with necessary old Python 2 dependencies is understandable problem. I had tested all packages, this time I am not able to compile:

adasockets adabooch asis gcc-ada-debug gnat_util inotify-ada polyorb

Most importantly, the CLI utilities gnatmake and gprbuild are functional. After next update I will test new gnat-gps PKGBUILD and and I will let you know how I got on.

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