make: add page

2025-07-24 18:15:25 +02:00 · 2016-01-04 11:23:09 +01:00 · 2016-01-04 11:23:09 +01:00 · 1e936f5388
commit 1e936f5388
parent c3bc91c813
1 changed files with 21 additions and 0 deletions
--- a/pages/common/make.md
+++ b/pages/common/make.md
@ -0,0 +1,21 @@
+# make
+
+> Task runner for rules described in Makefile.
+> Mostly used to control the compilation of an executable from source code.
+
+- Call the all rule
+
+`make`
+
+- Call a specific rule
+
+`make {{rule}}`
+
+- Use specific Makefile
+
+`make -f {{file}}`
+
+- Execute make from another directory
+
+`make -C {{directory}}`
+