Ada

Ada 是一种通用的、编译型编程语言。它具有强静态类型、包、异常、泛型、任务处理、面向对象和契约特性。

安装

安装 gcc-ada 软件包。这将安装 GNAT 编译器，它是 GNU 编译器套件 (GCC) 的 Ada 前端。

附加软件包

all-ada^AUR - 一个元软件包，用于安装所有 Ada 工具和组件。
adacurses^AUR - 'ncurses' C 库的 Ada 绑定。
adaogg^AUR - 一个完整的接口层，将 Ogg、Vorbis 和 Theora 库引入 Ada 2012 编程语言。
ada_language_server^AUR - 用于 Ada 编程语言的高性能语法和语义引擎。
ada-libfswatch^AUR - fswatch 项目中 libfswatch 库的 Ada 绑定。
adasat^AUR - Ada 中基于 DPLL 的 SAT 求解器的实现。
adasockets^AUR - Ada 中的 BSD 套接字。
ada_spawn^AUR - 一个简单的 Ada API，用于启动进程并与之通信。
ada-web-server^AUR - Ada Web Server
ahven^AUR - 用于 Ada 编程语言的简单单元测试框架。
alire^AUR - 一个即用型 Ada 库的目录，以及一个命令行包管理器工具 (alr) 来使用它们。
aunit^AUR - Ada 单元测试框架
florist^AUR - IEEE 标准 1003.5b-1996（POSIX Ada 绑定）的开源实现。
gcc-ada-debug^AUR - 用于 GCC (GNAT) 的 Ada 前端，带有未剥离的运行时，可在 gdb 中进行有效的调试。
GNATColl - GNAT 组件集合
- gnatcoll-core^AUR 或 gnatcoll-core-git^AUR
- gnatcoll-db2ada^AUR
- gnatcoll-gmp^AUR 或 gnatcoll-gmp-git^AUR
- gnatcoll-iconv^AUR 或 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 - 一种分析和报告 Ada 和 C 程序程序覆盖率的工具。
gnatdoc^AUR - GNAT 文档生成工具。
gnatstudio^AUR - 用于 Ada 的 GnatStudio。
gnatstudio-bin^AUR - 用于 Ada 的 GnatStudio 二进制文件。
gnatsymbolize^AUR - 将地址转换为 Ada 程序的相应文件名、行号和函数名。
gprbuild^AUR 或 gprbuild-git^AUR - GPRbuild 构建系统。
gprbuild-toolbox^AUR - 用于多语言系统的元构建器工具箱。
gpr^AUR - Ada GPR 项目文件的解析器。
gpr-unit-provider^AUR - 基于 GPR 项目分析库的 Libadalang 的单元提供程序。
gtkada^AUR - Gtk+ 库的 Ada 绑定。
ini_file_manager^AUR - 用于 Ada 的 Ini 配置文件读取器和操作器包。
inotify-ada^AUR - 一个 Ada 2012 库，用于使用 Linux inotify API 监视文件系统事件。
kazakov_simple_components^AUR - Dmitri Kazakov 提供的一组底层 Ada 组件。
langkit^AUR - 用于语法和语义语言分析库的编译器。
libadalang^AUR - 用于 Ada 编程语言的高性能语义引擎。
libadalang-tools^AUR - 基于 Libadalang 的 Ada 工具：gnatpp、gnatmetric 和 gnatstub。
libgpr^AUR - 用于处理 Gnat 项目文件的 Ada 库。
libvss^AUR - 用于 Ada 的高级字符串和文本处理库。
markdown^AUR - 用于 Ada 的 markdown 解析器。
polyorb^AUR - 提供分布式系统附件 (DSA)，以使用 Ada 构建分布式应用程序。
sdlada^AUR - Simple DirectMedia Layer (SDL) 库的 Ada 绑定。
spark2014^AUR - 基于 Ada 的形式化定义的编程语言（GNAT FSF 版本）。
templates_parser^AUR - Ada 工具，用于创建模板化文本流，例如动态 HTML 文档。
vulkada^AUR - 用于 Ada 2012 编程语言的完整 Vulkan 1.3 绑定。
xmlada^AUR 或 xmlada-git^AUR - XML/Ada

已签名、预构建的软件包可从非官方的 Ada 仓库获取。

测试你的安装

通过构建一个简单的程序来检查 GNAT 是否正确安装，如下所示

hello.adb

with Ada.Text_IO;

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

你可以使用 gnatmake 编译它

$ gnatmake hello

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

然后运行它

$ ./hello

Hello, Arch!

参见

语言

工具

库文档