Make : à quoi ça sert
- Un utilitaire de développement conçu pour optimiser la recréation
d'exécutables et de bibliothèques en fonction de modifications
apportées à des fichiers source
- Plus généralement, make permet de simplifier le déclenchement
des suites d'opérations souvent répétées sur des fichiers
- SON POINT FORT : la prise en compte de règles de dépendance
entre des fichiers, et l'utilisation de leur date de modification pour
déterminer la nécessité de prendre des actions
- POINTS FABILES :
- convivialité moyenne
- syntaxe ubuesque
- fonctionnalités non standard
- emploi d'"astuces"
- Si c'est surtout pour simplifier et non pour
optimiser le déclenchement d'une suite d'opérations,
un script est parfois plus commode
David.Lewis@utc.fr