Package Details: gnatstudio 1:25.0w-1

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: 2024-05-31 06:44 (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

« First ‹ Previous 1 2 3 4 5 6 7 8 .. 11 Next › Last »

charlie5 commented on 2022-05-12 12:02 (UTC)

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

krouziciorel commented on 2022-05-12 11:38 (UTC)

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

charlie5 commented on 2022-05-11 11:55 (UTC)

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

krouziciorel commented on 2022-05-11 11:23 (UTC)

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.

krouziciorel commented on 2022-05-09 06:52 (UTC)

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.

krouziciorel commented on 2022-02-07 19:39 (UTC) (edited on 2022-02-08 09:27 (UTC) by krouziciorel)

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?

charlie5 commented on 2022-01-14 08:04 (UTC)

@Armag67 I don't really know. The sooner the better though :).

Armag67 commented on 2022-01-13 21:17 (UTC)

Hello charlie5,

Now it works again fine. Do you know when gnat-gps will fully transition to Python 3 and drop all Python 2 dependencies?

charlie5 commented on 2022-01-12 13:23 (UTC)

@Armag67 Thanks for the heads up. Should build now.

Armag67 commented on 2022-01-10 13:48 (UTC)

Hello,

Since last shift to python 3.10, gnat-gps is broken:

gnatstudio: error while loading shared libraries: libpython3.9.so.1.0: cannot open shared object file: No such file or directory

even trying to rebuild fails, /usr/bin/ld doesn't find -lpython3.9

« First ‹ Previous 1 2 3 4 5 6 7 8 .. 11 Next › Last »