GNAT GPL User's Guide: GNAT GPL User's Guide

[Top] | [Contents] | [Index] | [ ? ]

# GNAT GPL User's Guide

GNAT GPL User's Guide

The GNAT Ada Compiler
GNAT GPL Edition, Version 2014
Document revision level 303339
Date: 2014/03/28

AdaCore
Copyright (C) 1995-2013, Free Software Foundation

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being "GNU Free Documentation License", with the Front-Cover Texts being "GNAT GPL User's Guide", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

> About This Guide |  |
> 1. Getting Started with GNAT |  |
> 2. The GNAT Compilation Model |  |
> 3. Compiling with `gcc` |  |
> 4. Binding with `gnatbind` |  |
> 5. Linking with `gnatlink` |  |
> 6. The GNAT Make Program `gnatmake` |  |
> 7. Improving Performance |  |
> 8. Renaming Files with `gnatchop` |  |
> 9. Configuration Pragmas |  |
> 10. Handling Arbitrary File Naming Conventions with `gnatname` |  |
> 11. GNAT Project Manager |  |
> 12. Tools Supporting Project Files |  |
> 13. The Cross-Referencing Tools `gnatxref` and `gnatfind` |  |
> 14. The GNAT Pretty-Printer `gnatpp` |  |
> 15. The Ada-to-XML converter `gnat2xml` |  |
> 16. The GNAT Metrics Tool `gnatmetric` |  |
> 17. File Name Krunching with `gnatkr` |  |
> 18. Preprocessing with `gnatprep` |  |
> 19. The GNAT Library Browser `gnatls` |  |
> 20. Cleaning Up with `gnatclean` |  |
> 21. GNAT and Libraries |  |
> 22. Using the GNU `make` Utility |  |
> 23. Memory Management Issues |  |
> 24. Stack Related Facilities |  |
> 25. Verifying Properties with `gnatcheck` |  |
> 26. Creating Sample Bodies with `gnatstub` |  |
> 27. Creating Unit Tests with `gnattest` |  |
> 28. Performing Dimensionality Analysis in GNAT |  |
> 29. Generating Ada Bindings for C and C++ headers |  |
> 30. Other Utility Programs |  |
> 31. Code Coverage and Profiling |  |
> 32. Running and Debugging Ada Programs |  |
> A. Platform-Specific Information for the Run-Time Libraries |  |
> B. Example of Binder Output File |  |
> C. Elaboration Order Handling in GNAT |  |
> D. Overflow Check Handling in GNAT |  |
> E. Conditional Compilation |  |
> F. Inline Assembler |  |
> G. Compatibility and Porting Guide |  |
> H. Microsoft Windows Topics |  |
> I. Mac OS Topics |  |
> J. GNU Free Documentation License |  |
> Index |  |

This document was generated by GNAT Mailserver on April, 17 2014 using texi2html