Outils pour utilisateurs

Outils du site


logiciels

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
logiciels [2020/01/06 08:07]
hetoussa
logiciels [2020/01/06 08:11] (Version actuelle)
hetoussa
Ligne 11: Ligne 11:
 Des //Developer Toolset// ([[https://​doc.isima.fr/​calcul/​devtoolset/​|https://​doc.isima.fr/​calcul/​devtoolset/​]]) sont installés sur les serveurs de calcul, ils permettent d'​avoir accès à des versions de gcc (et différents outils comme valgrind, gdb...) plus récentes que celle par défaut. ​ Des //Developer Toolset// ([[https://​doc.isima.fr/​calcul/​devtoolset/​|https://​doc.isima.fr/​calcul/​devtoolset/​]]) sont installés sur les serveurs de calcul, ils permettent d'​avoir accès à des versions de gcc (et différents outils comme valgrind, gdb...) plus récentes que celle par défaut. ​
  
 +Si on souhaite activer un toolset de manière permanente (pour éviter de l'​activer manuellement à chaque connexion), on peut ajouter la ligne suivante dans son .bashrc (remplacer 7 par la version souhaitée !):
  
 +<code bash>
 source scl_source enable devtoolset-7 source scl_source enable devtoolset-7
 +</​code>​
  
logiciels.txt · Dernière modification: 2020/01/06 08:11 par hetoussa