Bonjour, afin de pouvoir tester les nouvelles fonctionnalités de C++11, je souhaite compiler les versions finales les plus récentes de GCC (actuellement la 4.7.1).
Je suis sous Linux (Mageia 2 et Ubuntu LTS 12.04 Precise Pangolin).

J'ai donc tenté, pour la première fois, de compiler GCC (sous Mageia 2).

Le répertoire d'installation étant dans /opt/gcc-4.7.1, je me suis créé un répertoire /opt/gcc-4.7.1-objdir/ et m'y étant rendu j'ai lancé configure pour gcc (../gcc-4.7.1/configure)

Tout se passe bien sauf que configure se plaint du manque des librairies
GMP 4.2+, MPFR 2.3.1+ and MPC 0.8.0+.
Je me suis mis en devoir d'installer, pour commencer, GMP, à partir d'un répertoire /opt/gmp-5.0.5/; l'installation s'est bien passée. La librairie GMP est installée dans /usr/local/lib.

Toutefois quand je relance configure pour gcc, il me réclame encore GMP.

Je lance donc configure pour gcc avec une option
--with-gmp=/usr/local/lib
qui indique le répertoire d'installation de gmp...
Mais peine perdue, configure me réclame toujours de la même manière GMP....

Des idées ?

Je me demande s'il n'y a pas un problème de headers de GMP, mais je ne vois pas de version de GMP téléchargeable 'avec headers'...

EDIT Voici le contenu de /usr/local/lib :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
rw-r--r-- 1 root root 1157208 juin  28 15:44 libgmp.a
-rwxr-xr-x 1 root root     914 juin  28 15:44 libgmp.la*
lrwxrwxrwx 1 root root      16 juin  28 15:44 libgmp.so -> libgmp.so.10.0.5*
lrwxrwxrwx 1 root root      16 juin  28 15:44 libgmp.so.10 -> libgmp.so.10.0.5*
-rwxr-xr-x 1 root root  480597 juin  28 15:44 libgmp.so.10.0.5*