Re: Trace GNAT FSF avec numéro de lignes ...

Stéphane Rivière via Ada-france <[email protected]> Thu, 30 Jun 2022 14:30:13 +0200
Newsgroups	gmane.comp.lang.ada.france
Organization	La Maison
Message-ID	<[email protected]>
Entre les rdv du matin...

*BUILD GNAT 12.1.1*

supprimer tout autre compilateur GNAT dans le PATH
relancer une console

sudo apt install build-essential flex libmpfr-dev libgmp-dev
sudo apt install gnat-11 gprbuild

Baissé la version GNAT de 12 à 11 pour un compilo Ada non "expérimental" 
(à toutes fins utiles)

cd /opt
git clone https://github.com/gcc-mirror/gcc.git
git checkout releases/gcc-12

Builder en dehors des sources de gcc

cd /opt/gcc
mkdir build && cd build

toujours vider build avant le configure
simplifications : ajout de --disable-multilib (compilo 64 seulement) et 
supprimé --with-system-zlib --with-target-system-zlib=auto

../configure --prefix=/build/gcc-12.1 --enable-libada 
--enable-languages=c,ada,c++ --enable-shared --enable-linker-build-id 
--without-included-gettext --enable-threads=posix 
--disable-vtable-verify --enable-plugin --enable-default-pie 
--disable-werror --disable-multilib

configure ok, derniers contrôles

which gnat
/usr/bin/gnat
which gcc
/usr/bin/gcc
which gprbuild
/usr/bin/gprbuild
printenv PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin

make -j8

sudo make install

build & install ok


*ENV **GNAT 12.1.1*

sudo apt purge gnat-11 gprbuild
echo 'export PATH=/build/gcc-12.1/bin:$PATH' >> ~/.bashrc
source ~/.bashrc

printenv PATH
*/build/gcc-12.1/bin*:/usr/lo...

gnat -v
GNAT 12.1.1 20220629 ok


*TEST ****GNAT 12.1.1*

with Ada.Text_IO;
with Ada.Exceptions;
with GNAT.Traceback.Symbolic;

procedure Test3 is

   package TIO renames Ada.Text_IO;

   procedure Boum is
   begin
     raise Constraint_Error with "Boum";
   end Boum;

begin

   Boum;

exception
   when Err : others =>
   TIO.New_Line;
   TIO.Put_Line ("Sortie 'Ada.Exceptions.Exception_Information(Err)'");
   TIO.Put_Line (Ada.Exceptions.Exception_Information(Err));

   TIO.Put_Line ("Sortie 
'GNAT.Traceback.Symbolic.Symbolic_Traceback(Err)'");
   TIO.Put_Line (GNAT.Traceback.Symbolic.Symbolic_Traceback(Err));

end Test3;


gnatmake -g test3.adb -bargs -E

gcc -c -g test3.adb
gnatbind -E -x test3.ali
gnatlink test3.ali -g

./test3

Sortie 'Ada.Exceptions.Exception_Information(Err)'
raised CONSTRAINT_ERROR : Boum
Call stack traceback locations:
0x555f0fc4947d 0x555f0fc494a6 0x555f0fc49411 0x7f637d431d8e 
0x7f637d431e3e 0x555f0fc48e93 0xfffffffffffffffe

Sortie 'GNAT.Traceback.Symbolic.Symbolic_Traceback(Err)'
[./test3]
*0x555f0fc4947d Test3.Boum at test3.adb:15**
**0x555f0fc494a6 Test3 at test3.adb:20**
**0x555f0fc49411 Main at b~test3.adb:245*
[/lib/x86_64-linux-gnu/libc.so.6]
0x7f637d431d8e
0x7f637d431e3e
[./test3]
0x555f0fc48e93 _start at ???
0xfffffffffffffffe

Bingo !

Merci à Stéphane et Nicolas !!!


*Build GDB*

wget http://ftp.gnu.org/gnu/gdb/gdb-12.1.tar.gz
tar -xf gdb-12.1.tar.gz
cd gdb-12.1

En tapotant :

./configure --help | grep ada
   --enable-libada         build libada directory
Une seule option pour Ada (en fait ça semble être les mêmes options que gcc)
Ça me semble un peu 'sec' pour faire un gdb compatible GNAT, ça tombe 
vraiment en marche ? ;)

Un

./configure --prefix=/build/gcc-12.1 --enable-libada 
--enable-languages=c,ada,c++ --enable-shared --enable-linker-build-id 
--without-included-gettext --enable-threads=posix 
--disable-vtable-verify --enable-plugin --enable-default-pie 
--disable-werror --disable-multilib

ne bronche pas, alors

make

sudo make install

On voit bien passer de la compilation spécifique Ada...

Ça a l'air d'être bien passé, on testera en fin de journée :)))




Remarque : Les (avant) derniers NUC intel (i7 11e génération) sont 
impressionnants de coolitude. Les autres stations NUC Intel (i5 9e 
génération) chauffent bien en charge moyenne - 70-80° et ça fait des 
années qu'elles tiennent ainsi. Mais Les NUC Intel i7 11... sans trop de 
charge 49°, compilation de gcc, monte de 2/3 degrés puis retombe à 49° 
:(). Normalement, une compil de gcc fait fumer le processeur. Là non. 
Les traditions se perdent.


-- 
Stéphane Rivière
Ile d'Oléron - France

_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france
OpenPGP_0x68A4C5C1D498F92F.asc (application/pgp-keys, 3.1 KB)
OpenPGP_signature (application/pgp-signature, 840 B) - not displayed