Glossaire

Makefile

Un "Makefile" est un fichier décrivant la construction d'un projet logiciel (compilation, édition des liens, etc). Ce fichier est utilisé par la commande "make" afin de gérer la construction d'un projet.

Un fichier Makefile est constitué de cibles qui décrivent une procédure de construction particulière. Par exemple, la cible "clean est définie pour nettoyer des fichiers de compilations intermédiaires, la commande "make clean" permet de demander à la commande make d'exécuter la cible clean du Makefile.

Un enfant ayant demandé à sa bonne : pourquoi les trottoirs sont-ils
dur ?
Celle-ci lui ayant répondu ; parce que tous les trottoirs sont durs, il
a condisidéré la chose comme expliquée. Expliquer pour l'enfant comme
pour l'adulte c'est faire rentrer un cas particulier dans une règle
générale.
-+- Edouard Claparède, Psychologie de l'enfant et pédagogie
expérimentale -+-