GNAT User's Guide
GNAT, The GNU Ada Compiler
GCC version 4.7.4
AdaCore
--- The Detailed Node Listing ---
About This Guide
Getting Started with GNAT
The GNAT Compilation Model
Foreign Language Representation
Compiling Ada Programs With gcc
Switches for gcc
Binding Ada Programs With gnatbind
Switches for gnatbind
Linking Using gnatlink
The GNAT Make Program gnatmake
Improving Performance
Performance Considerations
Reducing Size of Ada Executables with gnatelim
Reducing Size of Executables with unused subprogram/data elimination
Renaming Files Using gnatchop
Configuration Pragmas
Handling Arbitrary File Naming Conventions Using gnatname
The Cross-Referencing Tools gnatxref and gnatfind
The GNAT Pretty-Printer gnatpp
The GNAT Metrics Tool gnatmetric
File Name Krunching Using gnatkr
Preprocessing Using gnatprep
The GNAT Library Browser gnatls
Cleaning Up Using gnatclean
GNAT and Libraries
Using the GNU make Utility
Memory Management Issues
Stack Related Facilities
Some Useful Memory Pools
The GNAT Debug Pool Facility
The gnatmem Tool
Verifying Properties Using gnatcheck
Sample Bodies Using gnatstub
Creating Unit Tests Using gnattest
Other Utility Programs
Code Coverage and Profiling
Running and Debugging Ada Programs
Platform-Specific Information for the Run-Time Libraries
Example of Binder Output File
Elaboration Order Handling in GNAT
Conditional Compilation
Inline Assembler
Compatibility and Porting Guide
Microsoft Windows Topics