Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Ada compilers for Linux

I'm doing a trade study for Ada development on Linux. Do you have any good compiler/OS recommendations?

So far, I've got GNAT from AdaCore running on CentOS 5.4, and I have license requests in for Rational Apex and Aonix ObjectAda.

This is a porting effort. The original codebase is Apex 3.0 on OSF1 4.0d.

Anything else I should be considering? Ideally, it would be a supported environment.

like image 361
Dave Avatar asked Jan 14 '10 20:01

Dave


People also ask

What is an Ada compiler?

Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC).

What is Ada in Linux?

Ada is a general purpose, compiled programming language. It features strong static typing, packages, exceptions, generics, tasking, object-orientation and contracts.

Can GCC compile Ada?

gcc is the command used to run the compiler. This compiler is capable of compiling programs in several languages, including Ada and C.


3 Answers

One issue you need to take into consideration is to determine to what degree your system that's being ported utilizes vendor-supplied packages to perform its function. What I've seen with older, large systems, especially Apex ones, is a propensity for the language gurus during its development time to have decided that vanilla Ada just wasn't good enough, and so tie into all these vendor-supplied packages. If that's what your system does right now, it's a strong argument for upgrading within the vendor and sticking with Apex (all other things being mostly equal).

Whenever I've done ports of such systems, if given the opportunity I've done my best to tear out all the vendor-supplied stuff--nine times out of ten replacing the vendor-specific stuff with vanilla Ada implementations worked just as well, and you no longer have to deal with the quirks of a compiler-specific package. Plus, you increase the portability and maintainability of the system, allowing it to better adapt to future changes.

like image 157
Marc C Avatar answered Oct 13 '22 23:10

Marc C


There is always SPARK, but I believe its a specialized/subsetted version of the Ada language. You might want to contact SigAda or the Ada usenet group to see if there are any other ideas.

Honestly though, GNAT is a great tool set. You can use GNATBench, an Eclipse interface, or GPS, a light-weight GTK+ IDE, to interface with the GNAT tools.

like image 29
Dr. Watson Avatar answered Oct 14 '22 01:10

Dr. Watson


Other compilers I am aware of are Green Hills AdaMULTI (for various RTOSes), and DDC-I's SCORE (also for various RTOSes)

like image 21
T.E.D. Avatar answered Oct 13 '22 23:10

T.E.D.