Ada

Related articles
List of programming languages
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:
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.
libvss
AUR
- A high level string and 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
.
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
Wikibooks:Ada Programming
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