Ada

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

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:

• all-ada ^AUR - A meta package which installs all Ada tools and components.
• adacurses ^AUR - An Ada binding to the 'ncurses' C library.
• adaogg ^AUR - A complete interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language.
• ada_language_server ^AUR - High performance syntactic and semantic engine for the Ada programming language.
• ada-libfswatch ^AUR - An Ada binding to the libfswatch library in the fswatch project.
• adasat ^AUR - Implementation of a DPLL-based SAT solver in Ada.
• adasockets ^AUR - BSD sockets in Ada.
• ada_spawn ^AUR - A simple Ada API to start processes and communicate with them.
• ada-web-server ^AUR - Ada Web Server
• ahven ^AUR - A simple unit test framework for the Ada programming language.
• alire ^AUR - A catalog of ready-to-use Ada libraries plus a command-line package manager tool (alr) to use them.
• aunit ^AUR - Ada Unit Testing Framework
• florist ^AUR - An open-source implementation of IEEE Standard 1003.5b-1996, the POSIX Ada binding.
• gcc-ada-debug ^AUR - Ada front-end for GCC (GNAT) with an unstripped runtime for effective debugging in gdb.
• 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-gnatinspect ^AUR
  • gnatcoll-lzma ^AUR
  • gnatcoll-omp ^AUR
  • gnatcoll-postgres ^AUR
  • gnatcoll-python ^AUR
  • gnatcoll-readline ^AUR
  • gnatcoll-sql ^AUR
  • gnatcoll-sqlite ^AUR
  • gnatcoll-syslog ^AUR
  • gnatcoll-xref ^AUR
  • gnatcoll-zlib ^AUR
• gnatcoverage-bin ^AUR - A tool to analyze and report program coverage of Ada and C programs.
• gnatdoc ^AUR - GNAT documentation generation tool.
• gnatstudio ^AUR - GnatStudio for Ada.
• gnatstudio-bin ^AUR - GnatStudio binary for Ada.
• gnatsymbolize ^AUR - Translates addresses into their corresponding filename, line number, and function names for Ada programs.
• gprbuild ^AUR or gprbuild-git ^AUR - GPRbuild build system.
• gprbuild-toolbox ^AUR - Meta builder toolbox for multi-language systems.
• gpr ^AUR - Parser for Ada GPR project files.
• gpr-unit-provider ^AUR - A unit provider for Libadalang based on GPR project analysis library.
• gtkada ^AUR - Ada bindings for the Gtk+ library.
• ini_file_manager ^AUR - Ini configuration file reader and manipulator package for Ada.
• inotify-ada ^AUR - An Ada 2012 library to monitor filesystem events using the Linux inotify API.
• kazakov_simple_components ^AUR - A set of low-level Ada components by Dmitri Kazakov.
• langkit ^AUR - Compiler for syntactic and semantic language analysis libraries.
• libadalang ^AUR - A high performance semantic engine for the Ada programming language.
• libadalang-tools ^AUR - Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub.
• libgpr ^AUR - Ada library to handle Gnat project files.
• vss-text ^AUR - A high level Unicode text processing library for Ada.
• markdown ^AUR - A markdown parser for Ada.
• polyorb ^AUR - Provides the Distributed Systems Annex (DSA) to build distributed applications with Ada.
• sdlada ^AUR - An Ada binding to the Simple DirectMedia Layer (SDL) library.
• spark2014 ^AUR - Formally defined programming language based on Ada (GNAT FSF version).
• templates_parser ^AUR - Ada tools to create templated text streams, such as dynamic HTML documents.
• vulkada ^AUR - A complete Vulkan 1.3 binding for the Ada 2012 programming language.
• xmlada ^AUR or xmlada-git ^AUR - XML/Ada

Signed, pre-built packages are available from the unofficial Ada repository.

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!

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

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

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

• Programming languages

• Pages or sections flagged with Template:Style