Si file2 est manquant, alors make va chercher une règle de génération qui permet de l'obtenir. Si c'est possible, alors make génère file2, et re-parse le Makefile. Si il n'y a pas de règle, alors make sort en erreur.
Et comme dans l'exemple on a une règle de génération, alors make va gérer ça proprement, puisque tous les fichiers à inclure dépendent des fichiers sources. Magique ! :-)
[^] # Re: make
Posté par ymorin . En réponse à la dépêche Petit éventail des outils de construction (« builder ») libres. Évalué à 6.
En fait, il y a deux directoves d'inclusion :
Si
file1est manquant, alorsmakesort en erreur.Si
file2est manquant, alorsmakeva chercher une règle de génération qui permet de l'obtenir. Si c'est possible, alorsmakegénèrefile2, et re-parse leMakefile. Si il n'y a pas de règle, alorsmakesort en erreur.Et comme dans l'exemple on a une règle de génération, alors
makeva gérer ça proprement, puisque tous les fichiers à inclure dépendent des fichiers sources. Magique ! :-)Hop,
Moi.