Processors with Ada support.

Processors with Ada support.

[whiting_ms@corning.com (Matt Whiting)]

I realize this has been asked many times before, but I'm unable to find it in
either the FAQ or at AdaHome.  Where may I find the list of processors for
which an Ada compiler is available?

Thanks,
Matt

Re: Processors with Ada support.

[whiting_ms@corning.com (Matt Whiting)]

In article <5blge3$bvo@ns1.sw-eng.falls-church.va.us>, bowmanc@ns1.sw-eng.falls-church.va.us (Carl Bowman) writes:
> The AdaIC maintains a searchable list of validated Ada compilers.  One
> of the criteria is to search by host or target.  The URL is
> http://sw-eng.falls-church.va.us/AdaIC/forms/vcl95.shtml for Ada 95
> compilers, and for Ada 83 compilers is
> http://sw-eng.falls-church.va.us/AdaIC/forms/vcl83.shtml .
> 
-- 

Thanks, that's a good start.  However, I was interested in all of the GNAT
ports (or others) even if they aren't validated.  I recall seeing a list posted
here or available somewhere that listed all of the target processors for which
various people/groups had provided a GNAT port.  I'm guessing few of them were
officially validated and thus aren't on the list referenced above.

Can anyone point me towards the GNAT list?  I'm trying to compare availability
of Ada compilers to availability of C and C++ compilers.  Given that neither of
the latter alternatives are validated (or even standardized in the case of
C++), I don't want to require validation of the Ada compilers at this point
either.  Now prior to actual production use ... is a whole 'nother issue.  I
don't yet need to cross that bridge.  

Matt

Re: Processors with Ada support.

[whiting_ms@corning.com (Matt Whiting)]

In article <32DE3770.41C67EA6@escmail.orl.lmco.com>, Ted Dennison <dennison@escmail.orl.lmco.com> writes:
> 
> If you were on AdaHome (AKA: HotBAP), it would have been tough to miss.
> Just click on the "Compilers" link on the main page, and the "Validated
> Ada 95 Compilers" (or "Validated Ada 83 Compilers") link on the next
> page. 
> 
> The actual URL's are
> ftp://sw-eng.falls-church.va.us/public/AdaIC/compilers/95val/95vcl.txt
> and
> ftp://sw-eng.falls-church.va.us/public/AdaIC/compilers/83val/83vcl.txt
> 
> This information is also in section 4.1 of the comp.lang.ada FAQ (
> http://www.adahome.com/FAQ/comp-lang-ada.html#validated_compilers )
> 
> Just how hard were you looking??
> 
-- 

Obviously, not hard enough :-(, but then again this list isn't what I was
looking for.  See my subsequent post which is more specific.

Matt

Re: Processors with Ada support.

[Stanley R. Allen]

whiting_ms@corning.com (Matt Whiting) wrote:
> 
> I realize this has been asked many times before, but I'm unable to find it in
> either the FAQ or at AdaHome.  Where may I find the list of processors for
> which an Ada compiler is available?
> 

see http://sw-eng.falls-church.va.us/AdaIC/compilers/index.shtml

the compilers to be found there are only the ones that have been
validated.  but there are non-validated compilers available on
processors not listed there.  Some of these are GNAT compilers;
see http://www.gnat.com for details.

-- 
Stanley Allen
mailto:s_allen@hso.link.com

Re: Processors with Ada support.

[Jerome Desquilbet]

> Where may I find the list of processors for
> which an Ada compiler is available?

Have a look at the "Compilers & Validation" part of:
http://sw-eng.falls-church.va.us/AdaIC/
______________________________________________________________________
Jerome Desquilbet                             jDesquilbet@Rational.COM
 ' ^

Re: Processors with Ada support.

[Ted Dennison]

whiting_ms@corning.com (Matt Whiting) wrote:
> 
> I realize this has been asked many times before, but I'm unable to find it in
> either the FAQ or at AdaHome.  Where may I find the list of processors for
> which an Ada compiler is available?
> 

If you were on AdaHome (AKA: HotBAP), it would have been tough to miss.
Just click on the "Compilers" link on the main page, and the "Validated
Ada 95 Compilers" (or "Validated Ada 83 Compilers") link on the next
page. 

The actual URL's are
ftp://sw-eng.falls-church.va.us/public/AdaIC/compilers/95val/95vcl.txt
and
ftp://sw-eng.falls-church.va.us/public/AdaIC/compilers/83val/83vcl.txt

This information is also in section 4.1 of the comp.lang.ada FAQ (
http://www.adahome.com/FAQ/comp-lang-ada.html#validated_compilers )

Just how hard were you looking??

--
T.E.D.          
             |  Work - mailto:dennison@escmail.orl.lmco.com  |
             |  Home - mailto:dennison@iag.net               |
             |  URL  - http://www.iag.net/~dennison          |

Re: Processors with Ada support.

[Robert Dewar]

Jerome said

"Have a look at the "Compilers & Validation" part of:
http://sw-eng.falls-church.va.us/AdaIC/"

That's fine if what you want is compilers that are officially validated,
but may be misleading in two respects:


1.  There are validated Ada 95 compilers that implement none of the
	Ada 95 features (since ACVC 2.0 did not require such)

2.  There are complete Ada 95 implementations that are not yet validated

So, it depends what you want. if you need a validated compiler, then this
list is the one to look at. If you need an Ada 95 compiler, it may not be
the whole story!

Re: Processors with Ada support.

[Matthew S. Whiting]

Robert Dewar wrote:
> 
> Jerome said
> 
> "Have a look at the "Compilers & Validation" part of:
> http://sw-eng.falls-church.va.us/AdaIC/"
> 
> That's fine if what you want is compilers that are officially validated,
> but may be misleading in two respects:
> 
> 1.  There are validated Ada 95 compilers that implement none of the
>         Ada 95 features (since ACVC 2.0 did not require such)
> 
> 2.  There are complete Ada 95 implementations that are not yet validated
> 
> So, it depends what you want. if you need a validated compiler, then this
> list is the one to look at. If you need an Ada 95 compiler, it may not be
> the whole story!

What sources would you recommend to get the "rest of the story"?  With
apologies to Paul Harvey.

Matt