Introduction to the GNAT Toolchain

This course presents an introduction to the GNAT toolchain. The course includes first steps to get started with the toolchain and some details on the project manager (GPRbuild) and the integrated development environment (GNAT Studio).

This document was written by Gustavo A. Hoffmann, with contributions and review from Richard Kenner and Robert Duff.

Note

The code examples in this course use an 80-column limit, which is a typical limit for Ada code. Note that, on devices with a small screen size, some code examples might be difficult to read.

Download PDF Download EPUB

Contents:

• GNAT Toolchain Basics
  • Basic commands
  • Compiler warnings
    • -gnatwa switch and warning suppression
    • Style checking
• GPRbuild
  • Basic commands
  • Project files
    • Basic structure
    • Customization
  • Project dependencies
    • Simple dependency
    • Dependencies to dynamic libraries
  • Configuration pragma files
  • Configuration packages
• GNAT Studio
  • Start-up
    • Windows
    • Linux
  • Creating projects
  • Building
  • Debugging
    • Debug information
    • Improving main application
    • Debugging the application
  • Formal verification
• GNAT Tools
  • gnatchop
  • gnatprep
  • gnatmem
  • gnatmetric
  • gnatdoc
  • gnatpp
  • gnatstub