Подтвердить что ты не робот

Расширение файла makefile

Я хотел создать make файл. Поэтому я написал инструкции в файле блокнота.
Но какое расширение я должен предоставить при сохранении этого файла?

4b9b3361

Ответ 1

Если вы запустите:

make

эта программа будет искать файл с именем makefile в вашем каталоге, а затем выполнить его. Если у вас несколько make файлов, вы можете выполнить их с помощью команды:

make -f MyMakefile

Ответ 2

От GNU Make документация

По умолчанию, когда make ищет makefile, он пытается выполнить следующее имена, в порядке: GNUmakefile, makefileи makefile. Обычно вы должны позвонить ваш файл makefile makefile или makefile

Они будут найдены, если вы не укажете make файл с флагом -f (только GNU make будет искать GNUmakefile, поэтому дайте ему это имя, только если вы знаете, что используете инструменты GNU)

Ответ 3

Похоже, вы используете Windows, и в этом случае make файлы часто имеют суффикс .NMK (потому что они предназначены для использования с NMAKE). В цивилизованном мире, хотя make файлы обычно не имеют суффикса: makefile или makefile - это имена канонических файлов.

Ответ 4

Если вам нужно отличить одно от другого, и вы настраиваете управление make файлом, вы должны использовать project.make в качестве имени. Исходя из того, что большинство LSE, в частности gedit, распознают это .mak. После упаковки или выхода в выделенную папку его можно переименовать в makefile, а полный путь - описать проект. Таким образом, вы можете иметь разные версии. Если ваша работа достаточно сложна для использования make файла, вы все равно не должны смешивать несколько сборок в одной папке.

Ответ 5

По умолчанию программа GNU Make пытается определить некоторые конкретные имена, не используя никаких расширений. Вы можете указать файл с любым именем. Но если вы хотите выделить синтаксис в некоторых редакторах, вы можете использовать расширение.

Существуют такие правила для распознавания файлов make в редакторе Geany:

Make=*.mak;*.mk;GNUmakefile;makefile;Makefile;makefile.*;Makefile.*;