Home | Contact | Pricing | News | Partners | Mailing List | Site Map
GNAT Pro Sales Information

The GNAT Pro package is available as a yearly subscription consisting of: All persons covered by the GNAT Pro subscription have access to the full package.

Questions and Evaluations

For general inquires regarding GNAT Pro or to learn how you can apply for a GNAT Pro evaluation contact: sales@adacore.com.

Get a price quote

Use the following form to receive a price quote for GNAT Pro. Please fill it out as completely as possible so we can provide you with the most accurate pricing information.

1. Information

Company *
Last Name *
First Name *
Address *
City *
State (US only) *
Postal Code *
Country *
Tel *
Fax
Email *

2. Brief Description of Your Project


3. Choose Your Technology Solutions

Select all technologies and services for which you would like a price quote.

Ada development solutions

  • GNAT Pro - to develop Ada software (including Ada 2005)  –  learn more »
  • GNAT Pro High-Integrity Edition - for safety-critical development  –  learn more »
  • GNAT Pro High-Integrity Edition DO-178B Certification Kit -   –  learn more »

Mixed-language solutions

  • CGNAT - to develop software written in C  –  learn more »
  • CodeSourcery G++ Pro - to develop software written in C++  –  learn more »

Add-on technologies

  • AWS - to web-enable Ada applications (Ada Web Server)  –  learn more »
  • GNAT Ada-Java Interfacing Suite - to interface Ada and Java 
  • ASIS - to develop tools for Ada software  –  learn more »
  • GtkAda - to develop modern native GUIs in Ada  –  learn more »
  • GLADE - to build distributed systems using Ada’s DSA  –  learn more »
  • PolyORB - to build distributed systems using CORBA and Ada  –  learn more »
  • GNATstack - to statically predict maximum stack memory usage  –  learn more »

Additional professional services

  • GNAT Pro ports, special-purpose runtimes, tool customization 
  • On-site GNAT Pro technology consulting  –  learn more » 
  • On-site GNAT Pro and Ada training  –  learn more » 

4. Select Your Configurations

Native platforms

  • GNU Linux: x86 GNU Linux (32 bits)
  • GNU Linux: x86-64 GNU Linux (64 bits)
  • GNU Linux: HP Integrity Itanium GNU Linux
  • GNU Linux: SGI Altix Itanium GNU Linux
  • Solaris: Sparc Solaris (32 bits)
  • Solaris: UltraSparc Solaris (64 bits)
  • Solaris/Trusted Solaris: x86 Solaris/Trusted Solaris (32 bits)
  • Windows: x86 Windows
  • Windows: .NET on Windows
  • RTX: RTX for Windows
  • Mac OS X: x86 Mac OS X — future availability
  • Mac OS X: PowerPC Mac OS X
  • HP-UX: PA-Risc HP-UX
  • HP-UX: Itanium HP-UX
  • Tru64: Alpha Tru64
  • OpenVMS: Alpha OpenVMS
  • OpenVMS: Itanium OpenVMS
  • IRIX: MIPS IRIX
  • AIX: PowerPC AIX (32 bits)
  • LynxOS: x86 LynxOS
  • Other: (Please specify)

Cross platforms

  • Embedded Linux: x86 ELinOS (hosted on GNU Linux)
  • Nucleus OS: ARM Nucleus OS (hosted on Windows)
  • LynxOS: PowerPC LynxOS (hosted on Solaris)
  • VxWorks 6.x: PowerPC VxWorks 6.x (hosted on GNU Linux)
  • VxWorks 6.x: PowerPC VxWorks 6.x (hosted on Windows)
  • VxWorks 6.x: PowerPC VxWorks 6.x (hosted on Solaris)
  • VxWorks 6.x: x86 VxWorks 6.x (hosted on GNU Linux)
  • VxWorks 6.x: x86 VxWorks 6.x (hosted on Windows)
  • VxWorks 6.x: x86 VxWorks 6.x (hosted on Solaris)
  • VxWorks 5.x: PowerPC VxWorks 5.x (hosted on Windows)
  • VxWorks 5.x: PowerPC VxWorks 5.x (hosted on Solaris)
  • VxWorks 5.x: x86 VxWorks 5.x (hosted on Solaris)
  • VxWorks 6.x/Cert: PowerPC VxWorks 6.x/Cert (hosted on Solaris)
  • VxWorks/Cert: PowerPC VxWorks/Cert (hosted on Windows)
  • VxWorks/Cert: PowerPC VxWorks/Cert (hosted on Solaris)
  • VxWorks 653: PowerPC VxWorks 653 (hosted on Windows)
  • VxWorks 653: PowerPC VxWorks 653 (hosted on Solaris)
  • VxSIM 653: x86 VxSIM 653 (hosted on Windows)
  • ELF format: PowerPC ELF format (hosted on Windows)
  • ELF format: PowerPC ELF format (hosted on Solaris)
  • ELF format: PowerPC 55xx ELF format (hosted on Windows)
  • ELF format: ERC32 ELF format (hosted on GNU Linux)
  • ELF format: ERC32 ELF format (hosted on Solaris)
  • ELF format: LEON ELF format (hosted on GNU Linux)
  • ELF format: LEON ELF format (hosted on Solaris)
  • Other: (Please specify)

5. Determine Your Subscription Level

To determine your subscription level count all persons, including sub-contractors, who write, compile, debug, test, port, or maintain Ada code.

Number of persons

  • Up to 5
  • Up to 15
  • Up to 25
  • Up to 35
  • Up to 50
  • Up to 100
  • Up to 200

6. Additional Project Information

Estimated duration of project

1 year
2 years
3 years
4 years
5 years
Other (please specify):

Estimated start date (when you will need GNAT Pro)

As soon as possible
Within the next 6 months
Within the next 12 months
In more than 12 months

Where did you learn about GNAT Pro?

Any additional information or comments you wish to add

(AdaCore’s privacy policy)