Quiero hacer un make en un directorio con Makefile y makefile. Por defecto, ejecutará makefile. ¿Hay alguna opción que pueda hacer para ejecutar el Makefile en su lugar?
Gracias por adelantado.
La opción fácil es usar -f :
$ make -f Makefile De la man 1 make (la marca GNU, supongo):
Si no está presente la opción
-f, make buscará los makefilesGNUmakefile,makefileyMakefile, en ese orden.
Así que puede vincular su Makefile al nombre GNUmakefile. Pero mi consejo, si realmente quieres esto, es usar un alias:
$ alias make='make -f Makefile'Lea la documentación de creación de GNU . Sólo tipo
make -f Makefile Podría considerar hacer un enlace simbólico de Makefile a GNUmakefile , pero considero horrible tener varios archivos similares a Makefile .
Tener Makefile y makefile hace que su proyecto sea ilegible. Por favor, tenga piedad de su sucesor desarrollador.