Re: Trace GNAT FSF avec numéro de lign es...

Bonsoir.

> Après installation, le gprbuild ne marche pas directement (passé un temps fou à comprendre pourquoi...).
> J'ai du créer un lien dans l'installation (dans mon cas /build/gcc-12.1/bin):
> 
> lrwxrwxrwx 1 ciceron ciceron        23 juin  10 23:03 gnatgcc -> /build/gcc-12.1/bin/gcc
> 
> Cela vient des définitions /usr/share/gprconfig/ qui font réference à gnatgcc au lieu de gcc.
> La magie Debian :-)

Le lien symbolique /usr/bin/gnatgcc est spécifique à Debian.  Tu ne
devrais pas avoir à le créer ailleurs.
Nous (Debian) avons essayé pendant longtemps d’ajouter des règles le
concernant dans /usr/share/gprconfig/*, mais cela s’est avéré une
mauvaise piste. la prochaine version de gprconfig-kb/gprbuild les
enlèvera complètement.
C’est par hasard que cette solution marche, et cela ne durera pas.

À première vue, quelquechose comme
# gprconfig --config=Ada,12.1,,,,/build/gcc-12.1/bin/gnat --config=C,12.1,,,,/build/gcc-12.1/bin/gcc
devrait créer default.cgpr,
qui est ensuite lu par gprbuild.
Attention, plusieurs erreurs graves ne sont repérables qu’en lisant
les messages de gprconfig, ou plus tard quand gprbuild se plaint ("no
compiler found for the Ada language").

Si ça ne marche pas…
# gprconfig --config=Ada,12.1,,,,/build/gcc-12.1/bin/gnat --config=C,12.1,,,,/build/gcc-12.1/bin/gcc -v

Si ça ne suffit pas…
# cp -a /usr/share/gprconfig db
Éditer les fichiers dans db/.
# gprconfig --config=Ada,12.1,,,,/build/gcc-12.1/bin/gnat --config=C,12.1,,,,/build/gcc-12.1/bin/gcc -v --no-default-db --db=db

Bon courage.
_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france