makefile

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision		 Révision précédente
makefile [2022/02/11 10:49] – strip filename extension phswmakefile [2024/02/24 18:50] (Version actuelle) – [Makefile] add link phsw
Ligne 2: Ligne 2:
  
   * [[https://gl.developpez.com/tutoriel/outil/makefile/]]   * [[https://gl.developpez.com/tutoriel/outil/makefile/]]
 +  * [[https://renenyffenegger.ch/notes/development/make/index]]
 +  * [[https://connect.ed-diamond.com/GNU-Linux-Magazine/glmf-247/c-est-l-histoire-d-un-make...|C’est l’histoire d’un make…]]
  
 Les commandes sont à indenter avec des tabulations. Les commandes sont à indenter avec des tabulations.
Ligne 17: Ligne 19:
 </code> </code>
  
-Mode verbeux natif de make: jouer avec l'option ''--debug|-d''.+Mode verbeux natif de make: jouer avec l'option ''%%--%%debug|-d''.
  
  
Ligne 72: Ligne 74:
 RR-babla.pdf: rr.tex RR-babla.pdf: rr.tex
  rubber --pdf --jobname $(basename $@) $<  # rubber adds itself the .pdf extension to the output file  rubber --pdf --jobname $(basename $@) $<  # rubber adds itself the .pdf extension to the output file
 +</code>
 +
 +
 +==== Appeler une commande dans une règle ====
 +
 +<code make>
 +foo:
 +    echo $(shell date)
 </code> </code>
  • makefile.1644572982.txt.gz
  • Dernière modification : 2022/02/11 10:49
  • de phsw