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

Hello,

On 29/06/2022 15:29, Stéphane Rivière via Ada-france wrote:
> sr@ro6 🍀 ~/opt/gcc >./configure -v --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu --enable-checking=release --enable-languages=c,c++,ada --enable-libada
> .../...
> configure: error: GNAT is required to build ada
> 
> Évidemment j'ai le gnat-12 dans le PATH...
> 
> Si je bricole le configure pour virer le test erroné et continue
> 
> mkdir build && cd build && make -j0
> 
> Et je me prends rapidement une erreur genre 'gnat1' introuvable (ça me rappelle un temps ou gcc appelait cc1 ou gnat1 suivant le langage du source, mais ça me semble bien vieux).
> 
> Si quelqu'un a une idée, suis preneur :)
> 

Oui, c'est pas simple à compiler.

En général, je compile GCC en dehors de ses sources.
J'ai utilisé sous Ubuntu 20 avec gnat-9:

/ext/gnu/gcc-12.1.0/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 --with-system-zlib --with-target-system-zlib=auto --disable-werror

Il faut les paquets:

libmpfr-dev
libgmp-dev

et dans le PATH j'ai gcc, make, gprbuild et gnat (/usr/bin).

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 :-)

A+

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