make < GNU make (INIST -> GNU make)
- Gagner du temps par rapport aux shells
Syntaxe
Le fichier makefile contient les règles de
dépendance.
Une règle est de la forme :
cible: [fichier de départ] ... commande
Attention : la commande doit être précédée d'une tabulation!
Pour créer le fichier cible : make cible
Exemple de fichier makefile :
# Commentaire compte.txt: aCompter.txt wc -l < aCompter.txt > compte.txt
La deuxième fois qu'on lance la cible
compte.txt, la commande wc n'est pas
exécutée, sauf si le fichier
aCompter.txt a une date de modification plus
récente que celle de compte.txt.
Une règle qui ne dépend d'aucun fichier de départ peut exister. De plus, elle ne peut donner lieu à la création d'un fichier. Une telle règle sera toujours exécutée (à condition que son nom ne soit pas celui d'un fichier).
Références
- http://www.eng.hawaii.edu/Tutor/Make/FrenchMake/make.htm Tutorial make (en français)
- http://www.oreillynet.com/pub/a/linux/2002/01/31/make_intro.html Introduction to Make
- http://www.gnu.org/manual/make/ Make Manual
- http://make.paulandlesley.org/ GNU Make