Carlos Saltos writes:
> Hello, Gilbert and Ludovic,
>
> As mentioned before, it's better to align the installation with the Debian
> you are using
> but please also notice the community version of GNAT Studio has been
> deprecated in favor
> of Alire.
>
> Here the notice from AdaCore ->
sudo apt install gnat gives: gnat is already the newest version (12.2)
ldd -v gnatstudio gives: not a dynamic executable
not a dynamic executable
user@linux-laptop:~/opt/GNAT/2021/bin$ ldd -v gnatstudio_exe
linux-vdso.so.1 (0x7ffd1fbb6000)
libspawn_glib.so =>
Hello, Gilbert and Ludovic,
As mentioned before, it's better to align the installation with the Debian you
are using but please also notice the community version of GNAT Studio has been
deprecated in favor of Alire.
Here the notice from AdaCore -> https://www.adacore.com/community
Alire is
Gilbert Gosseyn writes:
> Hi,
>
> I downloaded gnat-12_12.2.0-14_amd64.deb and used
>
> sudo dpkg --install ...deb
This explains how you (incorrectly) installed gnat; that was not my question.
The correct way to install gnat, or any Debian package, is:
sudo apt install gnat
which does the
On 11/5/23 20:31, Gilbert Gosseyn wrote:
Hi,
I downloaded gnat-12_12.2.0-14_amd64.deb and used
sudo dpkg --install ...deb
I have debian 12 installed.
checking with ldd on gnatstudio_exe shows also no libtinfo.so.5
Best,
Theodor
On 11/5/23 15:00, Ludovic Brenta wrote:
Gilbert Gosseyn
Hi,
I downloaded gnat-12_12.2.0-14_amd64.deb and used
sudo dpkg --install ...deb
I have debian 12 installed.
checking with ldd on gnatstudio_exe shows also no libtinfo.so.5
Best,
Theodor
On 11/5/23 15:00, Ludovic Brenta wrote:
Gilbert Gosseyn writes:
I tried to run gnatstudio, and got:
Gilbert Gosseyn writes:
> I tried to run gnatstudio, and got:
>
> error while loading shared libraries: libtinfo.so.5: cannot open
> shared object file: No such file or directory
>
> As a newbe to Debian, I am asking for help.
On my Debian testing, I have /usr/lib/x86_64-linux-gnu/libtinfo.so.6