Gnat Linux x32 install

[c***@gmail.com]

Bonjour,

J'ai lancé le script d' installation pour Gnat 2014 ( la version 2015 n'est pas compatible avec mon system ) .

http://libre.adacore.com/download/configurations


J' obtiens l' erreur suivante :

make: /usr/gnat/libexec/gcc/i686-pc-linux-gnu/4.7.4/install-tools/mkheaders : commande introuvable
make: *** [ins-basic] Erreur 127


An error occurred during installation. You can find a complete log
of the installation in /home/dead-code/Bureau/gnat-gpl-2014-x86-linux-bin/install.log.
Don't hesitate to send a message to ***@adacore.com
with you customer number on the subject line if you have any
question about this installation process.

dead-***@machine:~/Bureau/gnat-gpl-2014-x86-linux-bin$

HELP

[J-P. Rosen]

Post by c***@gmail.com
Bonjour,
J'ai lancé le script d' installation pour Gnat 2014 ( la version 2015
n'est pas compatible avec mon system ) .

Curieux... Quel est ton système, et quel type d'incompatibilité?

Post by c***@gmail.com
http://libre.adacore.com/download/configurations
/usr/gnat/libexec/gcc/i686-pc-linux-gnu/4.7.4/install-tools/mkheaders
: commande introuvable make: *** [ins-basic] Erreur 127
An error occurred during installation. You can find a complete log of
the installation in
/home/dead-code/Bureau/gnat-gpl-2014-x86-linux-bin/install.log. Don't
number on the subject line if you have any question about this
installation process.
HELP

Qu'est-ce que tu as lancé comme commande d'installation? Normalement,
sous Linux, il suffit de faire doinstall ...

[c***@gmail.com]

Le system est Ubuntu Precise x32 .

Mais sur le site , le compilateur 2015 n'est pas dispo pour la version Linux x32 bits .

D' où le titre du topic .

Oui , c'est bien le script doinstall que j' ai executé .


??

[J-P. Rosen]

Post by c***@gmail.com
Le system est Ubuntu Precise x32 .
Mais sur le site , le compilateur 2015 n'est pas dispo pour la version Linux x32 bits .
D' où le titre du topic .
Oui , c'est bien le script doinstall que j' ai executé .
??

J'ai bien un script mkheaders dans install-tools, donc peut-être as-tu
fusillé un fichier involontairement... Tu peux essayer de retélécharger
Gnat pour voir.

Sinon, il y a la solution:
apt-get install gnat

Ca donne un Gnat FSF au lieu d'un Gnat GPL, mais ça doit s'installer
tout seul.

[Pascal Obry]

Post by c***@gmail.com
Le system est Ubuntu Precise x32 .
Mais sur le site , le compilateur 2015 n'est pas dispo pour la
version Linux x32 bits .
D' où le titre du topic .
Oui , c'est bien le script doinstall que j' ai executé .

Peut-être n'as tu pas installé le paquet fixincludes?

[c***@gmail.com]

J' ai bien le paquet fixincludes .

J'ai re-télécharger l' archive , même résultat .

apt-get n'est pas une option , le paquet gnat est obseléte dans le dépot ubuntu ( 4.6 ) .

[c***@gmail.com]

C'est Résolu : https://groups.google.com/forum/#!topic/comp.lang.ada/WR9s5y4Hs-A