Ada

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

Installation

Install the gcc-ada package. This will install the GNAT compiler, which is an Ada front-end for the GNU Compiler Collection (GCC).

Additional packages:

• gprbuild^AUR or gprbuild-git^AUR - GPRbuild build system
• xmlada^AUR or xmlada-git^AUR - XML/Ada
• ada-web-server^AUR - Ada Web Server
• aunit^AUR - Ada Unit Testing Framework
• GNATColl - GNAT Components Collection
  • gnatcoll-core^AUR or gnatcoll-core-git^AUR
  • gnatcoll-db2ada^AUR
  • gnatcoll-gmp^AUR or gnatcoll-gmp-git^AUR
  • gnatcoll-iconv^AUR or gnatcoll-iconv-git^AUR
  • gnatcoll-postgres^AUR
  • gnatcoll-python2^AUR
  • gnatcoll-readline^AUR
  • gnatcoll-sql^AUR
  • gnatcoll-sqlite^AUR
  • gnatcoll-xref^AUR
• gtkada^AUR - Ada bindings for the Gtk+ library

Test your installation

Check that GNAT is installed correctly by building a simple program, as follows:

hello.adb

with Ada.Text_IO;

procedure Hello is
begin
   Ada.Text_IO.Put_Line ("Hello, Arch!");
end Hello;

You can compile it with gnatmake:

$ gnatmake hello

gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali

Then run it:

$ ./hello

Hello, Arch!

See also

Language

• Rationale for Ada 2012
• Ada 2012 Language Reference Manual
• Ada Programming at Wikibooks
• Interactive learning platform Learn.adacore.com
• Wikipedia:SPARK (programming language)

Tools

• GNAT User’s Guide for Native Platforms
• GNAT Reference Manual
• GPRbuild and GPR Companion Tools User’s Guide

Library Docs

• XML/Ada: The Unicode and XML Library for Ada
• AWS: The Ada Web Server
• AUnit Cookbook
• GNAT Reusable Components
• GtkAda User’s Guide