Logiciels utiles

Les notions vues dans ce module sont génériques et devraient fonctionner sur n'importe quel système Unix (Linux, Mac OS, BSD, ...) Vous pouvez donc utiliser votre machine personnelle pour les TPs. Dans ce cas, vous devrez toutefois installer certains logiciels. Voici la liste des logiciels, ainsi que le nom du paquet Debian/Ubuntu correspondant. Si vous utilisez une autre distribution, le nom du paquet devrait être proche:

• gcc (sudo apt-get install gcc)
• make (sudo apt-get install make)
• gdb (sudo apt-get install gdb)
• valgrind (sudo apt-get install valgrind)
• ar, nm, objdump, readelf (sudo apt-get install binutils)
• libc (sudo apt-get install libc-dev-bin)

Vous pouvez installer l'ensemble de ces paquets en une fois en lançant la commande: