Channels ▼
RSS

Open Source

AdaCore Flies GNAT Pro 7.2


The new release by AdaCore of GNAT Pro 7.2 is a major release of this Ada software development environment that includes 120+ new features and extends support across platforms.

This latest GNAT Pro tools implement the Ada 2012 language standard by default — and improved functionality brings Ada developers GNAT Pro onto more native and "cross platform" platforms instances than any other Ada development environment.

The 7.2 release adds support for Wind River's VxWorks Cert and LynuxWorks' LynxOS-178 Real-Time Operating Systems (RTOS). It also extends GNAT Pro's ARM support to now include Android, generic Linux on ARM, Bareboard ARM, and Wind River's VxWorks 6 on ARM.

GNAT Pro 7.2 comes with the GPS (GNAT Programming Studio) 6.0 Integrated Development Environment for developer editing, plus there are a number of design improvements that bring program-related information to bear.

AdaCore explains that the revised look and feel is supported by a new relational database at the heart of the GPS engine to make code navigation more efficient.

This release also includes a new version of GNATbench, the Eclipse plug-in. GNATbench 2.8 provides improved support for Wind River's WorkBench, a new source navigation engine, and improved support for the CodePeer static analysis tool.

GNAT Pro 7.2 includes new tools such as GNAT2XML, which generates XML files from Ada sources and helps developers write Ada analysis tools in any language. Enhancements to existing tools include a new version of GNATpp (pretty printer) with improved Ada layout, and an enhanced GPRbuild multi-purpose builder that offers greater flexibility and support of both distributed and parallel builds.

Other new features of GNAT Pro 7.2 include new warnings and improved diagnostics, code generation optimizations, support for symbolic traceback in shared libraries, and improved cross Ada/C++ exception handling.

"With so many new features and tools in GNAT Pro 7.2, it's difficult to choose which to highlight," said Cyrille Comar, AdaCore EU managing director. "I'll pick the new, extremely efficient distributed build capability. Its first industrial user reported that the build time for its complete multi-million SLOC application went down from two hours to five minutes on a Linux farm with dozens of machines."


Related Reading


More Insights






Currently we allow the following HTML tags in comments:

Single tags

These tags can be used alone and don't need an ending tag.

<br> Defines a single line break

<hr> Defines a horizontal line

Matching tags

These require an ending tag - e.g. <i>italic text</i>

<a> Defines an anchor

<b> Defines bold text

<big> Defines big text

<blockquote> Defines a long quotation

<caption> Defines a table caption

<cite> Defines a citation

<code> Defines computer code text

<em> Defines emphasized text

<fieldset> Defines a border around elements in a form

<h1> This is heading 1

<h2> This is heading 2

<h3> This is heading 3

<h4> This is heading 4

<h5> This is heading 5

<h6> This is heading 6

<i> Defines italic text

<p> Defines a paragraph

<pre> Defines preformatted text

<q> Defines a short quotation

<samp> Defines sample computer code text

<small> Defines small text

<span> Defines a section in a document

<s> Defines strikethrough text

<strike> Defines strikethrough text

<strong> Defines strong text

<sub> Defines subscripted text

<sup> Defines superscripted text

<u> Defines underlined text

Dr. Dobb's encourages readers to engage in spirited, healthy debate, including taking us to task. However, Dr. Dobb's moderates all comments posted to our site, and reserves the right to modify or remove any content that it determines to be derogatory, offensive, inflammatory, vulgar, irrelevant/off-topic, racist or obvious marketing or spam. Dr. Dobb's further reserves the right to disable the profile of any commenter participating in said activities.

 
Disqus Tips To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy.
 

Video