diff --git a/pages/common/gnatmake.md b/pages/common/gnatmake.md new file mode 100644 index 000000000..cfef2c05d --- /dev/null +++ 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: . + +- 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}}` diff --git a/pages/common/gnatprep.md b/pages/common/gnatprep.md new file mode 100644 index 000000000..0b74656f4 --- /dev/null +++ b/pages/common/gnatprep.md @@ -0,0 +1,12 @@ +# gnatprep + +> Preprocessor for Ada source code files (part of the GNAT toolchain). +> More information: . + +- Use symbol definitions from a file: + +`gnatprep {{source_file}} {{target_file}} {{definitions_file}}` + +- Specify symbol values in the command line: + +`gnatprep -D{{name}}={{value}} {{source_file}} {{target_file}}` diff --git a/pages/common/gprbuild.md b/pages/common/gprbuild.md new file mode 100644 index 000000000..dc2343812 --- /dev/null +++ b/pages/common/gprbuild.md @@ -0,0 +1,20 @@ +# gprbuild + +> A high-level build tool for projects written in Ada and other languages (C/C++/Fortran). +> More information: . + +- Build a project (assuming only one `*.gpr` file exists in the current directory): + +`gprbuild` + +- Build a specific [P]roject file: + +`gprbuild -P{{project_name}}` + +- Clean up the build workspace: + +`gprclean` + +- Install compiled binaries: + +`gprinstall --prefix {{path/to/installation/dir}}`