CODEWITHSUNDEEP
linuxgccmakefile
JJS
JJS

Reputation: 326

Choose between makefile and Makefile on Linux

I want to do a make in a directory with both Makefile and makefile. By default, it will execute makefile. Is there any options I can do to execute the Makefile instead?

Thanks in advance.

Upvotes: 5

Views: 5708

Answers (2)

rodrigo
rodrigo

Reputation: 98516

The easy option is to use -f:

$ make -f Makefile

From man 1 make (the GNU make, I presume):

If no -f option is present, make will look for the makefiles GNUmakefile, makefile, and Makefile, in that order.

So you con link your Makefile to the name GNUmakefile. But my advise, if you really want this, is to use an alias:

$ alias make='make -f Makefile'

Upvotes: 10

Basile Starynkevitch
Basile Starynkevitch

Reputation: 1

Read GNU make documentation. Just type

 make -f Makefile

You might consider making a symlink from Makefile to GNUmakefile but I consider horrible to have several makefile like files.

Having both Makefile and makefile makes your project unreadable. Please have mercy on your successor developer.

Upvotes: 3

Related Questions