Dev-C++ et CodeBlocks sont des IDE basés sur GCC+MinGW, donc quand on les installe, on peut tout à fait utiliser également GCC en ligne de commande.
CITATION
Il n'y aura pas d'accent mis sur les aspects interface homme / machine.
Tu veux dire que les programmes réalisés tourneront en mode console, ou que tu ne veux pas que le cours leur apprenne à se servir d'un IDE ?
Je ne sais pas le niveau des élèves ni l'objectif du TP...
Si c'est un TP court (ou une série de quelques TPs) centré sur le langage, la POO, l'algorithmique, etc., ça me paraît pas une bonne idée de leur faire faire du GCC en ligne de commande. Un TP, ça passe vite, alors autant rentabiliser la présence des élèves pour les faire programmer et utiliser le langage, pas débugguer leur makefile. Je suis tout à fait convaincu qu'un éditeur de texte+compilo en ligne de commande+gdb est plus efficace qu'un IDE et que je suis plus productif avec, mais quand on débute, c'est sans plus rapide de travailler dans un IDE -> Dev-C++, CodeBlocks, ou VC++ express.
Maintenant, si c'est une série de TPs relativement longue, ça vaut vraiment le coup de leur faire toute la chaîne de génération du programme, donc leur apprendre à faire leur makefile -> MinGW+gcc