2012-10-01 7 views

risposta

29

What Name to Give Your Makefile capitolo del manuale GNU Make chiarisce che:

Per impostazione predefinita, quando make cerca il makefile, cerca i seguenti nomi, in ordine: GNUmakefile, makefile e Makefile. Normalmente si dovrebbe chiamare il makefile sia makefile o Makefile. (Si consiglia Makefile perché appare in modo prominente vicino all'inizio di una directory che elenca, proprio accanto ad altri file importanti come README.) Il primo nome selezionato, GNUmakefile, non è consigliato per la maggior parte dei makefile. Dovresti usare questo nome se hai un makefile specifico per GNU make e non sarà compreso da altre versioni di make. Altri programmi di make cercano makefile e Makefile, ma non GNUmakefile.

+0

Grazie per il riferimento. – Benoit

+0

@Benoit sei il benvenuto. –

5

Tutti scrivono Makefile con una M. superiore. Questa è la convenzione.

+2

Sono d'accordo con te, questa è una convenzione. Ma sto cercando un riferimento :) – Benoit

+1

Hai dimenticato di prefisso _everyone_ con _almost_. Le persone usano anche 'GNUmakefile'. –

3

Penso che Makefile sia visualizzato nella parte superiore dell'elenco piuttosto che nel makefile quando si digita il comando ls.

+0

Dipende dalle impostazioni locali. –

0

non è solo la ragione per cui appare ben visibile vicino all'inizio di un elenco di directory, ma anche che avrebbe causato un errore di compilazione quando si utilizza “makefile” per sostituire “Makefile”. Si potrebbe provare a testare nel caso helloworld del driver di dispositivo Linux.