This package is available in the Arch Ada Repository.
https://wiki.archlinux.org/title/Ada
Git Clone URL: | https://aur.archlinux.org/gnatstudio.git (read-only, click to copy) |
---|---|
Package Base: | gnatstudio |
Description: | GNAT Programming Studio for Ada. |
Upstream URL: | https://github.com/AdaCore/gps |
Licenses: | GPL |
Conflicts: | gnat-gps, gnatstudio-bin |
Submitter: | charlie5 |
Maintainer: | charlie5 |
Last Packager: | charlie5 |
Votes: | 22 |
Popularity: | 0.000000 |
First Submitted: | 2023-06-09 07:53 (UTC) |
Last Updated: | 2023-09-06 11:38 (UTC) |
This package is available in the Arch Ada Repository.
https://wiki.archlinux.org/title/Ada
@GaryScottMartin
You'll find the examples (with gnatstudio) in '/usr/share/examples/gnatstudio'.
Please let me know if you have any problems building it (or even let me know if it builds ok).
Cheers.
@charlie5,
Thanks. I'm building gnatstudio
now. I've been running gnatstudio-bin
for a few days, but I don't believe that it includes the tutorial. At least, I wasn't able to find the examples
directory anywhere with gnatstudio-bin
installed.
Gary
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.
Pinned Comments
charlie5 commented on 2023-07-09 16:42 (UTC)
This package is available in the Arch Ada Repository.
charlie5 commented on 2023-06-25 17:14 (UTC) (edited on 2023-06-25 17:15 (UTC) by charlie5)
hi @GaryScottMartin,
'gnat-gps' has been recently deprecated in favour of 'gnatstudio'.
Regards.