2012-10-01 25 views

Respuesta

29

What Name to Give Your Makefile capítulo de GNU Make Manual aclara que:

Por defecto, cuando make busca el archivo MAKE, que trata los siguientes nombres, en orden: GNUmakefile, y makefileMakefile. Normalmente, debe llamar a su archivo MAKE makefile o Makefile. (Recomendamos Makefile porque aparece prominentemente cerca del comienzo de una lista de directorio, cerca de otros archivos importantes como README). El primer nombre marcado, GNUmakefile, no se recomienda para la mayoría de los archivos make. Debe usar este nombre si tiene un archivo MAKE que es específico de GNU make, y no será entendido por otras versiones de make. Otros programas make buscan makefile y Makefile, pero no GNUmakefile.

+0

Gracias por la referencia. – Benoit

+0

@Benoit, de nada. –

5

Todo el mundo escribe Makefile con una M. superior. Esa es la convención.

+2

Estoy de acuerdo contigo, eso es una convención. Pero estoy buscando una referencia :) – Benoit

+1

Olvidaste prefijar _everyone_ con _almost_. La gente también usa 'GNUmakefile'. –

3

Creo que Makefile se muestra en la parte superior de la lista en lugar de makefile al escribir ls comando.

+0

Eso depende de su configuración regional. –

0

no sólo es la razón por la que normalmente aparece cerca del comienzo de una lista de directorios, sino que causaría un error de compilación cuando se utiliza “makefile” para reemplazar “Makefile”. Podría intentar poner a prueba en el caso helloworld del controlador del dispositivo Linux ...