make
Ferramenta de execução de tarefas para os destinos descritos no Makefile. Principalmente utilizada para controlar a compilação de um executável a partir do código-fonte. Mais informações: https://www.gnu.org/software/make/manual/make.html.
- Executa o primeiro destino especificado no Makefile (geralmente chamado de "all"):
make
- Executa um destino específico:
make
destino
- Executa um destino específico, executando 4 tarefas simultaneamente em paralelo:
make -j
4
destino
- Usa um Makefile específico:
make --file
caminho/para/arquivo
- Executa o make a partir de outro diretório:
make --directory
caminho/para/diretorio
- Força a execução de um destino, mesmo que os arquivos de origem não tenham sido alterados:
make --always-make
destino
- Substitui uma variável definida no Makefile:
make
destino
variavel=
novo_valor
- Substitui variáveis definidas no Makefile pelo ambiente:
make --environment-overrides
destino