Я хочу сделать make в каталоге с Makefile и makefile. По умолчанию он выполнит makefile. Есть ли какие-либо опции, которые я могу сделать для выполнения Makefile?Выберите между makefile и Makefile в Linux
Заранее спасибо.
Я хочу сделать make в каталоге с Makefile и makefile. По умолчанию он выполнит makefile. Есть ли какие-либо опции, которые я могу сделать для выполнения Makefile?Выберите между makefile и Makefile в Linux
Заранее спасибо.
Простой вариант заключается в использовании -f
:
$ make -f Makefile
С man 1 make
(ГНУ сделать, я полагаю):
Если нет
-f
опция присутствует, сделать будет искать MakefilesGNUmakefile
,makefile
, иMakefile
, в указанном порядке.
Таким образом, вы связываете свой файл Makefile с именем GNUmakefile. Но мой совет, если вы действительно хотите этого, чтобы использовать псевдоним:
$ alias make='make -f Makefile'
GNU make Читайте документацию. Просто введите
make -f Makefile
Вы могли бы рассмотреть возможность сделать символическую ссылку из Makefile
в GNUmakefile
, но я считаю, что попало, чтобы иметь несколько Makefile как файлы.
Имея как Makefile
, так и makefile
, ваш проект не читается. Пожалуйста, помилуй своего разработчика-преемника.
Какова разумная причина иметь как 'Makefile', так и' makefile'? Это выглядит ужасно! –
Используйте [CMake] (http://www.cmake.org/) и внекорневую сборку. – yegorich
Хмм я сделал makefile сам и просто хотел добавить в него какую-то личную конфигурацию. И используйте его для вызова default Makefile – JJS