Make 84288 31768683 2008-07-21T18:00:27Z Willemo 377192 + interwiki nl {{Minuscule}} {{Voir Wiktionnaire|le logiciel intitulé make}} '''make''' est un [[logiciel]] traditionnel d'[[UNIX]]. C'est un « [[moteur de production]] » : il sert à appeler des commandes créant des fichiers. À la différence d'un simple script [[shell (informatique)|shell]], make exécute les commandes seulement si elles sont nécessaires. Le but est d'arriver à un résultat (logiciel compilé ou installé, documentation créée, etc.) sans nécessairement refaire toutes les étapes. ==Fonctionnement== Il sert principalement à faciliter la [[Compilateur|compilation]] et l'[[édition de liens]] puisque dans ce processus le résultat final dépend d'opérations précédentes. Pour ce faire, make utilise un fichier de configuration appelé ''makefile'' qui porte souvent le nom de ''Makefile''. Ce dernier décrit des ''cibles'' (qui sont souvent des fichiers, mais pas toujours), de quelles autres ''cibles'' elles [[Dépendance logicielle|dépendent]], et par quelles ''actions'' (des commandes) y parvenir. Afin de reconstruire une cible spécifiée par l'utilisateur, make va chercher les cibles nécessaires à la reconstruction de cette cible, et ce récursivement. (Ce faisant, il crée de fait un [[tri topologique]] de la relation de dépendance sur les cibles.) Certaines variantes de make prévoient la possibilité d'exécution en parallèle des tâches, si possible. Les règles de dépendance peuvent être explicites (noms de fichiers donnés explicitement) ou implicites (via des motifs de fichiers ; par exemple ''fichier''<tt>.o</tt> dépend de ''fichier''<tt>.c</tt>, si celui-ci existe, via une recompilation). ==Histoire== make fut à l'origine développé par le [[docteur (titre universitaire)|docteur]] [[Stuart Feldman]], en [[1977]]. Ce dernier travaillait alors pour [[Bell Labs]]. Depuis, plusieurs dérivés ont été développés, les plus connus et utilisés sont ceux de [[Berkeley software distribution|BSD]] et celui de [[GNU]], ce dernier étant généralement celui utilisé par défaut avec les systèmes [[Linux]]. Ils diffèrent par certaines fonctionnalités, et par exemple les scripts prévus pour [[GNU Make]] peuvent ne pas fonctionner sous BSD Make. De nos jours, les fichiers Makefile sont de plus en plus rarement générés à la main par le développeur mais construit à partir d'outils automatiques tels qu'[[autoconf]] qui facilitent la génération de Makefile complexes et spécifiquement adaptés à l'environnement dans lequel les actions de production sont censées se réaliser. == Exemple de Makefile == Voici un exemple de Makefile : # Indiquer quel compilateur est à utiliser CC ?= [[GNU Compiler Collection|gcc]] # Spécifier les options du compilateur [[CFLAGS]] ?= -g LDFLAGS ?= -L/usr/openwin/lib LDLIBS ?= -lX11 -lXext # Reconnaître les [[Extension de nom de fichier]] *.c et *.o comme suffixe SUFFIXES ?= .c .o .SUFFIXES: $(SUFFIXES) . # Nom de l'exécutable PROG = life # Liste de [[Code objet|fichiers objets]] nécessaires pour le programme final OBJS = main.o window.o Board.o Life.o BoundedBoard.o all: $(PROG) # Etape de compilation et d'éditions de liens $(PROG): $(OBJS) $(CC) $(CFLAGS) $(LDFLAGS) $(LDLIBS) -o $(PROG) $(OBJS) .c.o: $(CC) $(CFLAGS) -c $*.c Dans cet exemple, .c.o est une règle implicite. Par défaut les cibles sont des fichiers, mais lorsque c'est la juxtaposition de deux suffixes, c'est une règle qui dérive n'importe quel fichier se terminant par le deuxième suffixe à partir d'un fichier portant le même nom mais se terminant par le premier suffixe. Pour parvenir à cette cible, il faut exécuter l'action, la commande $(CC) $(CFLAGS) -c $*.c, où $* représente le nom du fichier sans suffixe. ''all'', en revanche, est une cible qui dépend de $(PROG) (et donc de ''life'', qui est un fichier). $(PROG) - c'est-à-dire life - est une cible qui dépend de $(OBJ) (et donc de ''main.o window.o Board.o Life.o'' et ''BoundedBoard.o''). Pour y parvenir, l'action est d'exécuter la commande $(CC) $(CFLAGS) $(LDFLAGS) $(LDLIBS) -o $(PROG) $(OBJS) La syntaxe ''CC ?= gcc'', ou plus généralement ''<variable> ?= <valeur>'', affecte ''<valeur>'' à ''<variable>'' seulement si ''<variable>'' n'en a pas déjà une. Si ''<variable>'' a déjà été affectée, cette instruction n'a aucun effet. ==Limitations== Les limitations de make découlent directement de la simplicité des concepts qui l'ont popularisé : fichiers et dates. Ces critères sont en effet insuffisants pour garantir à la fois l'efficacité et la fiabilité. Le critère de date associé à des fichiers, à lui seul, cumule les deux défauts. À moins que le fichier ne réside sur un support non réinscriptible rien n'assure que la date d'un fichier soit effectivement la date de sa dernière modification. Si pour un utilisateur non privilégié<ref>On supposera qu'un utilisateur privilégié est suffisamment responsable pour ne pas rétrograder de manière inconsidérée la date d'un fichier</ref>, il est assuré que les données ne peuvent être postérieures à la date indiquée, la date exacte de leur antériorité n'est pas pour autant garantie. Ainsi au moindre changement de date d'un fichier, toute une production peut-être considérée nécessaire s'il s'agit d'un source mais pire encore considérée inutile si au contraire il s'agit d'une cible. *Dans le premier cas il y a perte d'efficacité. *Dans le second cas il y a perte de fiabilité. Si date et fichier restent pour l'essentiel nécessaires à tout moteur de production voulu fiable et optimal, ils ne sont pas non plus suffisants et quelques exemples particuliers suffisent à l'illustrer : * Make en lui même ignore complètement la sémantique des fichiers dont il assure le traitement, il en ignore tout simplement le contenu. Par exemple, aucune distinction n'est faite entre code effectif et commentaires. Ainsi, dans le cas de l'ajout ou même seulement de la modification d'un commentaire au sein d'un fichier [[langage C|C]] make considérera que bibliothèques ou programmes cibles qui en dépendent devront être reconstruits. * Si le résultat final dépend des données en entrée, il dépend tout autant des traitements appliqués. Ces traitements sont décrits dans le fichier [[makefile]]. Rares sont les écritures de fichiers makefile qui prévoient d'invalider tout production antérieurement réalisée dans le cas de de l'évolution du fichier makefile ; en effet pour ce faire il conviendrait de mettre systématiquement le fichier makefile en dépendance de toutes les règles de production qu'il définit lui-même. S'il n'est techniquement pas difficile d'envisager que cela puisse être directement réalisé par une variante de make, cela aurait pour effet de bord de toucher toutes les cibles même si elles ne sont pas concernées par les modifications opérées dans le makefile. * Une variante de l'exemple précédent est le cas où des variables régissant la production sont positionnées soit par des variables d'environnement ou encore via la ligne de commande. Là encore, make n'a aucun moyen de détecter si ces variables touchent ou non la production et notamment quand ces variables désignent des options et non des fichiers. Une autre limitation de make est qu'il ne génère pas la liste des dépendances et n'est pas capable de vérifier que la liste fournie soit correcte. Ainsi, le simple exemple précédent qui repose sur la règle <code>.c.o</code> est erroné : en effet, les fichiers objets ne sont pas seulement dépendants du fichier source <code>.c</code> associé, mais également de tous les fichiers du projet inclus par le fichier <code>.c</code>. Une liste de dépendances plus réaliste serait : <pre> $(PROG): $(OBJS) $(CC) $(CFLAGS) $(LDFLAGS) $(LDLIBS) -o $(PROG) $(OBJS) main.o: main.c Board.h BoundedBoard.h Life.h global.h $(CC) $(CFLAGS) -c main.c window.o: window.c window.h global.h $(CC) $(CFLAGS) -c window.c Board.o: Board.c Board.h window.h global.h $(CC) $(CFLAGS) -c Board.c Life.o: Life.c Life.h global.h $(CC) $(CFLAGS) -c Life.c BoundedBoard.o: BoundedBoard.c BoundedBoard.h Board.h global.h $(CC) $(CFLAGS) -c BoundedBoard.c </pre> Il est raisonnable de considérer que les fichiers systèmes inclus (comme <code>stdio.h</code>) ne changent pas et de ne pas les lister comme dépendances. Au prix de l'écriture de parsers capable de produire des liste dynamiques de dépendances, certaines versions de make<ref>Par exemple avec [[GNU Make]] qui facilite la construction de liste dynamique même s'il ne fournit pas de tels parsers.</ref> permettent de contourner ce problème. Ce sont pour ces raisons que les moteurs de productions de nouvelle génération se spécialisent dans le traitement de langages particuliers (sémantique du contenu des fichiers) ou sont encore couplés à une base de données dans laquelle sont enregistrées toutes les caractéristiques effectives de production ([[audit de production (logiciel)|audit de production]]) des cibles (traçabilité). ==Alternatives== Il existe plusieurs alternatives à make : * [[makepp]] : un dérivé de (GNU) make, mais qui offre en plus un analyseur extensible de commandes et de fichiers inclus afin de reconnaître automatiquement les dépendances. Les options de commandes changées et autres influences sont reconnues. Le grand problème de make récursif peut être facilement évité, pour garantir une construction correcte. [http://makepp.sf.net] * NMake est la version Microsoft de Make. * clearmake est la version intégrée à [[ClearCase]]. Fortement couplé à la gestion des révision des fichiers, il réalise et stocke un audit de toutes les fabrications. Ces audits lui permettent de s'affranchir de la problématique des dates, des variables d'environnement, des dépendances implicites ou cachées ainsi que celles des paramètres passés en ligne de commande (Cf. [[#Limitations|limitations]]). * [[Apache Ant|ant]] : plutôt lié au monde [[Java (langage)|Java]]. * [[rake]] : un équivalent en [[ruby]]. * [[SCons]] : complètement différent de make, il inclut certaines des fonctions d'outil de compilation comme autoconf. On peut utiliser [[Python (langage)|Python]] pour étendre l'outil. *[http://www.scriptol.org/speedymake/ Speedy Make] utilise [[Extensible Markup Language|XML]] pour les makefiles, très simple à écrire, offre plus d'automatismes que make. ==Notes et références== <references /> ==Voir aussi== * [[Automake]] ==Liens externes== {{wikibooks|make|make}} * {{en}} [http://www.gnu.org/software/make/ Site de l'implémentation GNU] * {{fr}} [http://www.abrillant.com/doc/make/index.html Introduction à make] (exemples en Java) * {{fr}} [http://www.april.org/groupes/doc/make/make.html Compilation séparée et make] (exemples en C) {{Portail|logiciel libre|informatique}} [[Catégorie:Outil de développement logiciel]] [[Catégorie:Logiciel du projet GNU]] [[da:Make]] [[de:Make]] [[en:Make (software)]] [[eo:Make]] [[es:Make]] [[fi:Make]] [[it:Make]] [[ja:Make]] [[nl:Make]] [[pl:Make]] [[pt:Make]] [[ru:Make]] [[tr:Make]] [[uk:Make]] [[zh:Make]]