gnatmake, gnatprep, gprbuild: add page (#8557)

2022-10-09 23:04:52 +01:00
parent 8e47337714
commit d37879cb3e
3 changed files with 48 additions and 0 deletions
--- a/pages/common/gnatmake.md
+++ b/pages/common/gnatmake.md
@@ -0,0 +1,16 @@
+# gnatmake
+
+> A low-level build tool for Ada programs (part of the GNAT toolchain).
+> More information: <https://gcc.gnu.org/onlinedocs/gnat_ugn/Building-with-gnatmake.html>.
+
+- Compile an executable:
+
+`gnatmake {{source_file1.adb source_file2.adb ...}}`
+
+- Set a custom executable name:
+
+`gnatmake -o {{executable_name}} {{source_file.adb}}`
+
+- [f]orce recompilation:
+
+`gnatmake -f {{source_file.adb}}`