Re: gnatstudio

2023-11-06 Thread Ludovic Brenta
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 ->

Re: gnatstudio

2023-11-06 Thread Gilbert Gosseyn
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 =>

Re: gnatstudio

2023-11-05 Thread Carlos Saltos
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

Re: gnatstudio

2023-11-05 Thread Ludovic Brenta
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

Re: gnatstudio

2023-11-05 Thread Gilbert Gosseyn
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

Re: gnatstudio

2023-11-05 Thread 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:

Re: gnatstudio

2023-11-05 Thread Ludovic Brenta
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