💾 Archived View for freeshell.de › tldr › make.gmi captured on 2023-12-28 at 16:37:54. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2022-04-28)

-=-=-=-=-=-=-

make

Task runner for targets described in Makefile.

Mostly used to control the compilation of an executable from source code.

More information.

• Call the first target specified in the Makefile (usually named "all"):

make

• Call a specific target:

make {target}

• Call a specific target, executing 4 jobs at a time in parallel:

make -j{4} {target}

• Use a specific Makefile:

make --file {file}

• Execute make from another directory:

make --directory {directory}

• Force making of a target, even if source files are unchanged:

make --always-make {target}

• Override variables defined in the Makefile by the environment:

make --environment-overrides {target}

Copyright © 2014—present the tldr-pages team and contributors.

This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

CC-BY