melbou (./9) :
et il faut un compilateur optimisé à mort
Ça sent l'excuse ça...
On pourrait peut-être écrire un "ifort" bidon qui ne fait que wrapper gfortran.

Enfin bon, le problème avec ifort est résolu de toute façon.
Suite des questions bêtes la semaine prochaine. En tout cas c'est gentil de répondre. Une grosse étape sera bientôt d'installer Fedora 9 ou CentOS pour remplacer Fedora Core 5 sur ma vieille machine. Donc plein de questions connes en vue...
Tu prends un DVD de CentOS 5.2, tu le démarres, tu rentres "linux upgradeany", tu choisis "Mettre à jour une installation existante" / "Fedora Core 5" et normalement te voilà mis à jour (mais c'est une mise à jour pas du tout supportée et tu risques de devoir rétrograder certains paquetages comme le noyau - en principe la première version de RHEL/CentOS à être entièrement plus récente que les mises à jour de FC5 sera RHEL/CentOS 6, qui n'est pas encore sortie, et quand elle sortira ça sera une mise à jour énorme).
Sinon, mettre à jour directement de FC5 à Fedora 10 est aussi possible, là aussi pas vraiment supporté, mais au moins tu n'auras pas le problème des paquetages devenus moins récents. En revanche, tu vas probablement avoir un bon paquet de nettoyages à faire (genre des paquetages obsolètes à virer).
L'avantage des mises à jour est que ça garde tous tes fichiers et configurations, le désavantage est que ça va être un peu bordélique dans les 2 cas (les mises à jour de Fedora sont en général testées vers la prochaine version, parfois vers la version n+2, rarement plus; les mises à jour de Fedora vers CentOS sont carrément à tes risques et périls).
Une possibilité est de mettre à jour ton Fedora une version à la fois (donc passer par FC6, F7, F8 et F9 pour enfin aller à F10) et de nettoyer à chaque étape, mais ça va être long.
Sinon, ben tu réinstalles.
Et comme Folco, je déconseille fortement d'installer Fedora 9 maintenant, étant donné qu'il ne te reste plus que 6-7 mois de mises à jour avec ça. Chez Fedora, il faut toujours choisir la version la plus récente quand on met à jour.