Présentation
Make est un outil permettant de générer des fichiers à partir de commandes spécifiques. En somme, si vous manipulez souvent des fichiers et les traitez pour en obtenir d’autres, vous pouvez créer un fichier Makefile pour automatiser la tâche. Ce qui ne vous ramène plus qu’à une, voire deux commandes à taper pour regénérer les fichiers.
Avouez qu’il serait dommage de s’en passer !
Exemple de fichier
Ce fichier permettait d’utiliser le script bash pour générer une page index.html à partir des fichiers tete.html, corps.html et pied.html.
Il fait aussi une liste des fichiers présents dans le dossier et écrit dans liste.txt.
# Makefile pour génération d'une page index.html
# variables ###################################################################
html = tete.html corps.html pied.html
suppression = liste.txt index.html
# règles ######################################################################
all: index.html
index.html: script.sh $(html)
bash script.sh
clean:
rm -f $(suppression)
# dépendances #################################################################