Package Details: gnatstudio 1:24.0w-3

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)

Pinned Comments

charlie5 commented on 2023-07-09 16:42 (UTC)

This package is available in the Arch Ada Repository.

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

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

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

Regards.

Latest Comments

1 2 3 4 5 6 .. 11 Next › Last »

charlie5 commented on 2023-07-09 16:42 (UTC)

This package is available in the Arch Ada Repository.

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

charlie5 commented on 2023-06-27 21:24 (UTC)

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

GaryScottMartin commented on 2023-06-27 01:15 (UTC)

@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

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

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

Regards.

GaryScottMartin commented on 2023-06-24 23:04 (UTC)

@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

charlie5 commented on 2023-06-16 10:41 (UTC)

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.

charlie5 commented on 2023-05-09 03:25 (UTC)

You may want to consider using ...

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

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

Armag67 commented on 2022-05-30 17:30 (UTC)

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

krouziciorel commented on 2022-05-30 12:01 (UTC)

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.

krouziciorel commented on 2022-05-18 09:39 (UTC)

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

1 2 3 4 5 6 .. 11 Next › Last »