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

Hello,
Tout cela ne mériterait-il pas un billet sur le site d'Ada-France ? :)

Fred

----- Mail original -----
De: "Stéphane Rivière via Ada-france" <[email protected]>
À: "Nicolas Boulenguez" <[email protected]>, "Stephane Carrez" <[email protected]>
Cc: [email protected]
Envoyé: Vendredi 1 Juillet 2022 10:03:58
Objet: Re: [Ada-france]  Trace GNAT FSF avec numéro de lignes...



Le 30/06/2022 à 01:08, Nicolas Boulenguez a écrit : 


J'ai tenté la manip "normale" (sans le lien symbolique qui 'ne vas pas durer'). 


Bon courage. 

Apparemment oui :) 
Gprbuild semble moins coopératif à builder que gcc ou gdb... 





cd /home/sr/opt/gnat-1211 

git clone https://github.com/AdaCore/xmlada 
git clone https://github.com/AdaCore/gprconfig_kb 
git clone https://github.com/AdaCore/gprbuild 

cd gprbuild 
git checkout 22.2 


génération des binaires de bootstraping 

./bootstrap.sh --with-xmlada=../xmlada --with-kb=../gprconfig_kb --prefix=./bootstrap 

sudo cp -r bootstrap/* /build/gcc-12.1 

make prefix=/build/gcc-12.1 setup 

(j'ai enlevé une ',' dans chaque --config de la ligne suggérée par Nicolas sinon erreur) 

gprconfig --config=Ada,12.1,,,/build/gcc-12.1/bin/gnat --config=C,12.1,,,/build/gcc-12.1/bin/gcc 

gprconfig has found the following compilers on your PATH. 
Only those matching the target and the selected compilers are displayed. 
* 1. GNAT for Ada in /build/gcc-12.1/bin/ version 12.1 (default runtime) 
.../... 
Select or unselect the following compiler (or "s" to save): s <return> 

You can regenerate the same config file in batch mode with the following command line: 
gprconfig --batch --target=x86_64-pc-linux-gnu --config=Ada,12.1,default,/build/gcc-12.1/bin/,GNAT 


le default.cgpr a bien été créé. 






xmlada doit être buildé pour le build de gprbuild 

cd ../xmlada 
git checkout 22.2 

./configure prefix=/build/gcc-12.1 

make all 

gprbuild -j0 -m -p -XLIBRARY_TYPE=static -XXMLADA_BUILD_MODE=Production -XPROCESSORS=0 xmlada.gpr 
GNAT-TEMP-000001.TMP:104:11: undefined attribute "bindfile_option_substitution" 
GNAT-TEMP-000001.TMP:105:11: undefined attribute "bindfile_option_substitution" 
gprbuild: processing of configuration project "/tmp/GNAT-TEMP-000001.TMP" failed 

ou (pour voir, même punition) 

gprbuild -Pxmlada 
GNAT-TEMP-000001.TMP:104:11: undefined attribute "bindfile_option_substitution" 
GNAT-TEMP-000001.TMP:105:11: undefined attribute "bindfile_option_substitution" 
gprbuild: processing of configuration project "/tmp/GNAT-TEMP-000001.TMP" failed 





si je reviens dans le rep gprbuild (en fait le build de xmlada doit se faire à partir de là, a priori) et lance un make all 


gprbuild -p -m -j0 -XBUILD=production gprbuild.gpr -XLIBRARY_TYPE=static -XXMLADA_BUILD=static 
gprbuild.gpr:19:06: imported project file "xmlada.gpr" not found 
gpr.gpr:19:06: imported project file "xmlada" not found 
gpr.gpr:19:06: imported by "/home/sr/opt/gnat-1211/gprbuild/gpr/gpr.gpr" 
gpr.gpr:19:06: imported by "/home/sr/opt/gnat-1211/gprbuild/gprbuild.gpr" 
gprbuild: "gprbuild.gpr" processing failed 
make: *** [Makefile:95 : all] Erreur 5 



Et si je mod les gprbuild.gpr et gpr.gpr avec un with "../xmlada/xmlada et make all 


gprbuild -p -m -j0 -XBUILD=production gprbuild.gpr -XLIBRARY_TYPE=static -XXMLADA_BUILD=static 
gprbuild.gpr:22:18: cannot import aggregate project "/home/sr/opt/gnat-1211/xmlada/xmlada.gpr" 
gpr.gpr:21:21: cannot import aggregate project "/home/sr/opt/gnat-1211/xmlada/xmlada.gpr" 
gprbuild: "gprbuild.gpr" processing failed 
make: *** [Makefile:95 : all] Erreur 5 


J'imagine que si je tapotes un sudo apt install gprbuild, ça irait droit... 

mais j'aimerai bien savoir ce que je fais mal. 


Si vous avez une idée... 


Merci d'avance... 
-- 
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
_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france