Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。
我查了其他问题，这个案例好像没有涵盖。我在 Windows 计算机上的 WSL 中运行 Ubuntu，并且我尝试运行 GNATStudio，任何时候我尝试运行该程序 ei...
前几天晚上我去尝试 Ada 的 Alire 包管理器，并在文档中发现了这一点： 发出 alr init --bin myproj （您可以将 --lib 用于库项目） 第一次跑步的时候
我正在按照 https://pico-doc.synack.me/ 的步骤创建一个简单的 Ada 程序来在 Raspberry Pi 上闪烁 LED，但在使用 Alire 构建时遇到了问题。 使用上述...
我尝试过将 Gnat Studio 与 Alire 包管理器一起使用。使用“alr edit”命令启动 Gnat Studio 会导致 Gnat Studio 崩溃。我查看了日志文件，那里...
您好，我正在尝试在 Windows 上的 Alire 上运行 Hello 程序，但我无法收到此错误，有人可以帮忙吗？ 注：选择的工具版本gprbuild=22.0.1 注意：正在部署 gprbuild=22.0.1... 卷曲：（35）sc...
ranlib 在 ASFML 中使用 Alire 和 GNAT 时出错
我正在学习如何通过 Ada 绑定到 SFML（即 ASFML）来使用 Alire。到目前为止我已经下载了 并使用 Alire 安装了 ASFML 并成功将其导入到我的测试项目中。当我...
如何在 Alire .toml 文件中添加额外的编译器选项？
对于交叉编译，我需要指定 MCU 类型作为 Ada、C 和理论上的 C++ 编译器的选项。 我怎样才能做到这一点，并且在构建依赖项时也应用它？...
如果我写 类型 u1 的范围为 0 .. 1； 类型索引的范围为 0 .. 499999； U1Array 类型是 u1 的数组（索引）； 我可以假设，这将是一个位向量，它正在打包单个 u1 实例
套餐pack1是 int_acc_typ类型是访问所有整数； 结束包1. --本地程序 与包1； 程序主要是 Int_acc : pack1.int_acc_type; Int_var : 别名整数； 开始 Int_a...
我有两个套餐，分别称为“乘客”和“预订”。他们有一对多的关系。当我尝试在他们的两个文件中进行处理时，我遇到了循环依赖错误。然后我尝试了限制...
包父级是 类型 Item 是私有的； 函数获取返回项； 私人的 类型项目是 记录 值：布尔值； 结束记录； 程序集 （对象...
如何定义只允许使用十六进制字符的 String 子类型？这是我的尝试，但我在子类型定义上失败了： 子类型 Hex_Character 是字符 与 Static_Predicate...
ADA：Gnat Gprbuild 将没有 .adb 的二进制库添加到项目中
我已经使用 Gnatstudio/Gprbuild 在 ADA 中构建了一个静态库。现在，我想在可执行项目中使用它，但我只想提供 .ads 文件和二进制 .a。没有.adb。 我的可执行项目...
我在通用函数中有一个数组，我想逐字节地迭代它。在下面的示例中，我使用的是 Wide_Wide_Character，因此一个字符的长度为 4 个字节。有 3 个给定输入
我有一个要求，需要将字符串从 C 函数传递到 Ada 函数（C-Ada 绑定应用程序）。 C函数： 外部无效 ada_func_print_string(char*); 无效 Pass_String() { ...
无法在 OSX Sonoma 上构建 SDL Ada 绑定，因为出现错误：令牌“(”之前缺少二元运算符
我正在尝试在我的 OSX Sonoma 14.4.1 上使用 ADA（通过 Alire 和 gnat_native 工具链）和 SDL2 编写一个小游戏。 对于 Ada，我使用的是 Alire，从我所看到的来看，我有最新的 gnat 本机版本（