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.

Hello charlie5,

I needed to build and install gprbuild gprname gprslave libgpr gprtools one by one, but now yay -S --noconfirm gnatstudio fails with multiple >>> imported project file "lal_tools.gpr" not found error messages during building and is unable to install:

gnatstudio - exit status 8
gnatdoc - exit status 8
libadalang - exit status 8
lal-refactor - exit status 4
gnatcoll-sqlite - exit status 8
ada-libfswatch - exit status 8
ada_spawn - exit status 8
gnatcoll-xref - exit status 8
gpr - exit status 4
libadalang-tools - exit status 8
templates_parser - exit status 4
gpr-unit-provider - exit status 8
gnatcoll-db2ada - exit status 8
ada_language_server - exit status 8
gtkada - exit status 8

I will try to install this list one by one from bottom to top.

Hi Armag67,

Can you try this ...

 rm -fr ~/.cache/yay/*
 rm -fr /tmp/makepkg/*

 yay -Rsc gcc-ada
 yay -Rsc xmlada
 yay -Rsc adacurses
 yay -Rsc adaogg
 yay -Rsc adasockets
 yay -Rsc ahven
 yay -Rsc aunit
 yay -Rsc florist
 yay -Rsc fswatch
 yay -Rsc gnatcoverage-bin
 yay -Rsc gnatsymbolize
 yay -Rsc inifilemanager
 yay -Rsc kazakov_simple_components
 yay -Rsc libvss
 yay -Rsc markdown
 yay -Rsc python-e3-core
 yay -Rsc python-e3-testsuite
 yay -Rsc sdlada
 yay -Rsc sphinxcontrib-adadomain
 yay -Rsc vulkada

 yay -S --noconfirm  gprbuild-bootstrap
 yay -S --noconfirm  xmlada
 yes | yay -S             gprbuild gprname gprslave libgpr gprtools
 yes | yay -S             gprtools
 yay -S --noconfirm  gnatstudio

Thanks.

Now I have trouble with gprbuild: error while loading shared libraries: libxmlada_schema.so.24.0w: cannot open shared object file: No such file or directory

hi Armag67,

This problem arises each time there is a new major gcc release. Could you please try this ...

 $ yay -S gprbuild-bootstrap
 $ yay -S xmlada
 $ yay -S gprbuild

Thanks.

Hello, I have 46 packages to update for the Ada environment, but all the toolchain needs gcc 13, but since some days gcc is at version 14 in Arch and Manjaro. Always the same error message: gprbuild: error while loading shared libraries: libgnarl-13.so: cannot open shared object file: No such file or directory

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