问题标签 [gnat]

我正在尝试编译一个 Ada 项目。

我从 Libre AdaCore 安装了当前的 2011 GNAT GPL 包，它也包含 gcc 编译器。

奇怪的错误如下

如果我输入 which gcc 它给了我 /usr/gnat/bin/gcc
如果我输入 which gnatbind 它给了我 /usr/gnat/bin/gnatbind

“格式错误”文件的内容如下

有什么线索吗？

先感谢您

编辑：gnatls -v显示以下内容（为便于阅读而格式化），

我正在使用 GPS 进行编程。但我不能在代码中使用 unicode 字符。我在首选项中将字符集设置为 UTF-8。但我仍然无法在代码中输入 unicode 字符作为注释。谁能告诉我如何在源代码中使用 unicode 字符？我将非常感谢您的帮助。谢谢！

太阳

我知道，这是一个菜鸟问题，但是.....我不知道 :(

我正在使用 dotnet-gnat，我无法使用平台的命令。Net in Ada ...我可以使用WriteLine，但ReadLine命令，我不能...。如何知道使用某些命令的正确方法？

我的代码：

读取行代码：

谢谢。

我有一个名为 Input 的变量

我使用 Ada.Strings 和 Ada.Text_IO 作为库，我需要知道是否可以以及如何删除输入变量上的空格和特殊字符（例如顶点、逗号和句点）。

你如何从 Ada 调用 scanf ？也就是说，大概有一个适当的 pragma import 声明，但声明会是什么样子？

（我对如何从 Ada 调用更不守规矩的 C 函数感兴趣，而不是如何解析字符串本身，所以我不是在寻找纯 Ada 解决方案。我的设置是 Gnat、Ubuntu Linux、x64 如果它有所作为。）

我正在GNAT.SHA1使用SHA1在Ada. 我的代码库很小，所以我想避免将任何库导入到我的编译器未提供的项目中，因此我使用GNAT.SHA1. 据我所知，检索哈希的唯一“公共”方法是通过Digest函数以字符串形式。我想获得作为H该类型成员的160 位块Context。不幸的是，该Context记录是私人的。有什么办法可以解决吗？GNAT或者他们是由Ada 标准库或 Ada 标准库提供的替代方法吗？

我正在尝试中止 ada 程序中的任务，但在编译期间出现此错误：

代码如下所示：

当我再次尝试这样的行时：

我得到错误：

知道有什么问题吗？

基本问题：

我怎样才能gcc告诉我它在哪里搜索Ada包含？

具体问题：

我刚刚将C库的头文件转换为Ada规范，以便我可以使用Ada. 我现在想在我的系统上安装规范。我还想让安装在某种程度上具有可移植性，以便我可以make install在任何机器上（从而Makefile在Github或类似设备上托管规范）。我只是不确定将规范安装在哪里。

我使用以下命令在 Ubuntu 5.4 (GNAT 3.4) 上为 Linux 编译了 Ada 程序：

然后，当我在 Ubuntu 机器上运行该程序时，它运行良好。但是在另一台机器（Linux 网络服务器）上，当我尝试时收到以下错误消息strace：

这意味着什么？我是否正确理解程序无法运行是因为缺少两个文件（ld.so.nohwcap 和 ld.so.preload）？我怎样才能避免这个错误？编译时是否有可能将这些文件包含到程序中？

我想知道 GNAT 支持哪些 CPU 架构，尤其是在嵌入式领域。Ada 是否也自动支持 gnu C 编译器支持的每个目标？