Question

Y a-t-il une différence entre utiliser un fichier Make et un fichier Make?

Était-ce utile?

La solution

gmake utilise le premier & make; make " fichier trouvé dans l'ordre suivant:

GNUmakefile, makefile, Makefile

Sinon, ils sont sémantiquement équivalents. GNU recommande d’utiliser GNUmakefile uniquement si vous utilisez des extensions GNU.

Source

Autres conseils

Non, il n'y en a pas. Même sur les plates-formes dotées de systèmes de fichiers sensibles à la casse, le programme 'make' recherchera les deux noms. GNU Faites des recherches pour 'makefile' puis pour 'Makefile' (techniquement, il vérifie d'abord GNUmakefile, mais vous n'avez pas besoin d'utiliser ce nom).

Oups. Aurait dû googler cela.

Si un répertoire contient un fichier makefile et un fichier makefile, gmake prendra le fichier make de préférence.

Alors. Je ne connaissais pas GNUmakefile. Merci tvanfosson! (-;

Je ne connais pas la suggestion de Gamecat, car c’est le contraire de ce que j’ai trouvé lors de mes tests.

Merci Florin, votre suggestion est celle que j'ai également trouvée maintenant.

makefile puis Makefile (remplacé par GNUmakefile, semble-t-il.)

acclamations,

Rob

Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow
scroll top