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

Stéphane Rivière via Ada-france <[email protected]> Fri, 1 Jul 2022 10:03:58 +0200
Newsgroups	gmane.comp.lang.ada.france
Organization	La Maison
Message-ID	<[email protected]>
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
OpenPGP_0x68A4C5C1D498F92F.asc (application/pgp-keys, 3.1 KB)
OpenPGP_signature (application/pgp-signature, 840 B) - not displayed