Forrest logo
back to context overview

gnatmake

List of commands for gnatmake:

  • gnatmake:tldr:32091 gnatmake: Compile an executable.
    $ gnatmake ${source_file1-adb source_file2-adb ---}
    try on your machine
    explain this command
  • gnatmake:tldr:4ea09 gnatmake: Set a custom executable name.
    $ gnatmake -o ${executable_name} ${source_file-adb}
    try on your machine
    explain this command
  • gnatmake:tldr:e6730 gnatmake: [f]orce recompilation.
    $ gnatmake -f ${source_file-adb}
    try on your machine
    explain this command
back to context overview