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.

hi @GaryScottMartin,

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

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

Regards.

@charlie5,

When I tried to install gnat-gps I get a validity check error for gnatstudio-support.zip.

Here are the SHA256sums that I computed for the downloaded files:

96f43558be5013df8c41fe61303da114e43244bd30b2dd03b2fd1f4d8865c283  22.2.zip
b63db3ba62b86327bf0c816ece0c52db4c91f7dfe31e91311b45ae8a33e9b454  gnatstudio-support.zip
5607c451dbf63dba346eeb2ef602a86321d310bdfb6ef777870bb32761b596d5  0003-Honour-DESTDIR-in-installation-targets.patch
67b8145d32f555ffab46f41ca52ebbb30d06bc1d814880e42acc7bfb8f68ef6f  0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch
1dcfcc761dafb901537e96d40e09222a4ac72359c662886ed6c6e603fac7e2cf  patch-shared.gpr.in
f0286859acf338c10726f303c325db6f30a743af4a4d7b4895388d14748ea38c  site-packages.tar.gz
e21894fc1a0fbc90c25b0c524969703d685f283adc09225744d9013de3b00533  gps.desktop

The hash of gnatstudio-support.zip in the PKGBUILD is:

'10820ae36b93501efa7e1d09b2458b6bdbe324f87f045d80ccc7eebed2cbad99'

Regards,

Gary

If you have any dependency problems when building, please try this ...

$ yay -Rsc xmlada gcc-ada
$ yay -S gprbuild-toolbox
$ yay --noconfirm -S gnatstudio

Regards.

You may want to consider using ...

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

... until a stable source build of gnat-gps is possible.

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.