Full-featured free Ada 95/2005 compiler?

Full-featured free Ada 95/2005 compiler?

[interpretarian]

Hi,

Is it ever going to be possible to have all the language features of
Ada 95/2005 (including the Systems, Real-Time and Security annexes)
available in a free compiler, or will one have to pay money to be able
to do everything? It looks like the Security and Real-Time annexes are
always going to be proprietary. Any thoughts?

Re: Full-featured free Ada 95/2005 compiler?

[Martin Krischik]

interpretarian wrote:

> Is it ever going to be possible to have all the language features of
> Ada 95/2005 (including the Systems, Real-Time and Security annexes)
> available in a free compiler, or will one have to pay money to be able
> to do everything? It looks like the Security and Real-Time annexes are
> always going to be proprietary. Any thoughts?

You are aware that the  Real-Time-Annex will only work on a real time OS.
Well there is some work done on GNAT to support a subset of the
Real-Time-Annex on Linux - but it is only a sub-set because some features
just need OS support.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com

Re: Full-featured free Ada 95/2005 compiler?

[Pascal Obry]

interpretarian a �crit :
> Is it ever going to be possible to have all the language features of
> Ada 95/2005 (including the Systems, Real-Time and Security annexes)
> available in a free compiler, or will one have to pay money to be able
> to do everything? It looks like the Security and Real-Time annexes are
> always going to be proprietary. Any thoughts?

Have you looked at GNAT ?

It is a free and open source compiler which implements all the annexes.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595

Re: Full-featured free Ada 95/2005 compiler?

[interpretarian]

Dear Messers Obry and Krischik,

Thank you for replying to my inquiry.

Mr. Obry,

On GNAT, I think I made a presumption that some features of the
language were unavailable on the GPL Edition. On the Libre site, I
found a chart which made me think that mission critical features of
Ada were not supported by GNAT GPL https://libre.adacore.com/dynamic/comp_chart.html
. Am I in error?

Mr. Krischik,

Is it such that one must compile Ada with Real-Time systems features
on an RTOS or merely execute it on one?

I'm simply trying to verify the full range of options out there for
Ada development (outside of a very high budget).

Thanks again,

Mark Genevieve

Re: Full-featured free Ada 95/2005 compiler?

[Martin Krischik]

interpretarian schrieb:

> Is it such that one must compile Ada with Real-Time systems features
> on an RTOS or merely execute it on one?

Most RT work is done using a cross compiler. That is: the compiler runs
on a desktop OS and only the linked program is deployed to a RT OS.

> I'm simply trying to verify the full range of options out there for
> Ada development (outside of a very high budget).

You should have been in Geneva there where some nice speeches in RT and Ada.

One interesting option was GNAT + a MaRTE OS guest on a Linux host. If I
understood the speaker right it's just a matter of using the right
configure / compiler options on an up-to-date GNAT.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com

Re: Full-featured free Ada 95/2005 compiler?

[anon]

Gnat Pro has extented specifications to meet the DO-178B Level A 
certification for writting program for Avionics systems which the GPL 
does not do.  This is done by adding extra packages and coding 
standards that the Standard Ada does not have. 

The government of most counties have agreed that all programs for 
Avionics must meet the DO-178B Level A certification. Most people 
who use GPL GNAT does not need this level of reliability even if they 
use Ada on a real-time environment. 

Plus, the DO-178B certification is only use for Avionics. There are other 
standards for medical and military and even nuclears power plants that 
GNAT Pro does not have. So unless you are writting an Avionics system 
you do not need the DO-178B certification packages. Then again if you 
do need the DO-178B standard, the company for insurance reasons 
would pickup the tab for the GNAT Pro.

The DO-178B certification package is not free and is one of a few 
reasons that explains why GNAT Pro is so costly! 



In <1184897050.879641.275990@g4g2000hsf.googlegroups.com>,  interpretarian <interpretarian@gmail.com> writes:
>Dear Messers Obry and Krischik,
>
>Thank you for replying to my inquiry.
>
>Mr. Obry,
>
>On GNAT, I think I made a presumption that some features of the
>language were unavailable on the GPL Edition. On the Libre site, I
>found a chart which made me think that mission critical features of
>Ada were not supported by GNAT GPL https://libre.adacore.com/dynamic/comp_chart.html
>.. Am I in error?
>
>Mr. Krischik,
>
>Is it such that one must compile Ada with Real-Time systems features
>on an RTOS or merely execute it on one?
>
>I'm simply trying to verify the full range of options out there for
>Ada development (outside of a very high budget).
>
>Thanks again,
>
>Mark Genevieve
>