gnatmake:tldr:32091
The command "gnatmake" is used to compile Ada source code files and generate executable programs.
In the given command, "${source_file1-adb source_file2-adb ---}" is a placeholder that represents one or more Ada source files to be compiled. The "${...}" syntax is commonly used in command line arguments as a way to reference variables or placeholders.
In this particular command, the source files are listed separated by spaces. Each source file is specified with a suffix "-adb" which indicates that it is an Ada source file. The "---" at the end is used to indicate the end of the list of source files.
So, for example, if you have two Ada source files named "file1.adb" and "file2.adb", the command would be expanded as follows:
gnatmake file1.adb file2.adb
This command would compile both "file1.adb" and "file2.adb" and generate the corresponding executable program.