问题标签 [gnat-gps]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
105 浏览

ada - GNAT Studio - 不能使用非核心 Ada 库

我是 Ada 编程的新手,我正在尝试使用 GNAT Studio IDE 来学习它。

使用 Ada.Text_IO 或 Ada.Numerics 等核心库没有问题,但是当我尝试使用 Libadalang 为例时,编译器找不到规范文件“libadalang.ads”。

我的代码:

当我点击“构建并运行”按钮时,我得到以下输出:

我在 GNAT Studio 安装文件夹中查找了这个文件,并在C:\GNAT\2020\include\libadalang中找到了它以及 libadalang的所有其他“.ads”和“.adb”文件。

有没有办法“告诉”GNAT Studio 在这个目录中搜索,以便能够用“with”关键字调用它们?或者我应该做一些完全不同的事情来使用 Libadalang 吗?

顺便说一句,对不起我的英语不好。

谢谢你。

0 投票
1 回答
228 浏览

linux - Adacore GNATCOLL 库未安装在 CentOS 8 上

我最近在 CentOS 7 和 Debian 9 上使用了 gnatcoll 库,两个操作系统的安装过程是一样的。

当我在 CentOS 8 上尝试此安装时,我收到以下错误消息:

任何有关如何解决此问题和安装库的建议将不胜感激。

谢谢,劳埃德

0 投票
1 回答
114 浏览

linux - Adacore GNATCOLL Postgres 库未在 CentOS 8 上安装

几天前我发布了一个关于在 CentOS 8 上安装 GNATCOLL 库的问题,得到了很好的回答。

我现在尝试安装 gnatcoll postgres 库,我希望这将是相同的过程。但是,当我尝试这样做时,我收到以下错误:

任何有关为什么会发生这种情况的帮助将不胜感激。

谢谢,劳埃德

0 投票
0 回答
100 浏览

ada - 无法在 GNAT Studio 上设置快捷键

我在 Windows10 上使用 GNAT Studio Community 2020 (20200427)。

我想为“转到声明或正文”操作设置一个快捷键。

我在 Edit > Preferences... > Key Shortcuts 菜单中选择,然后选择“Goto declaration or body”,单击“Add”按钮,键入快捷方式(例如Ctrl+:),然后关闭 Preferences 窗口。

这个结果是快捷键不起作用,尽管它被添加到 ~/.gnatstudio/keys.xml.

我错过了什么 ?有人有同样的问题吗?

0 投票
0 回答
30 浏览

gnat - 格式不正确是什么意思?

在构建新版本时调试 Ada 程序时,我收到以下消息:

gprbuild -d -PD:\ada\project\Datum\Datum.gpr -j8 Bind [gprbind]
datum.bexch [Ada] datum.ali 致命错误:文件 gtk.ali 格式不正确 确保您使用的是一致版本的 gcc /gnatbind 56。gprbind:调用 gnatbind 失败 gprbuild:无法绑定 datum.adb [2021-03-16 18:40:50] 进程以状态 4 退出,100% (63/63),经过时间:02.63s

我已经删除了 build 目录中的所有 .ali 文件,删除了 Datum.exe 文件。

昨天我再次从 Adacore 下载并安装了 GtkAda 和 GNAT Studio,但错误并没有消失。

与此同时,我尝试重建另一个项目,它产生了类似的问题,但使用 glib.ali 我读取了堆栈溢出项,但我认为这不是问题。出于易于处理的原因,我没有在原始目录中构建 GtkAda,而是在 C:/GNAT/GtkAda 中构建。操作系统的最后一次更新仅在几天前,但在那之后它仍然有效。

谁能告诉我消息是什么意思以及如何消除它

0 投票
1 回答
117 浏览

ada - 如何在 GPS 社区 2021 中允许 Ada Big_Numbers

使用 Ada 2022,Ada.Numerics.Big_Numbers可以通过-gnatwi根据我在 GPS Community Edition 2021 中遇到的错误进行设置来启用。

warning: "Ada.Numerics.Big_Numbers" is an Ada 2022 unit [-gnatwi]

我假设必须为编译器设置标志,所以我修改了Compilergpr 文件中的包,如下所示:

注意最后的-gnatwi标志。

但是 GPS 仍然抱怨我在with Ada.Numerics.Big_Numers设置的文件上尝试“构建->检查语义”。重新启动 GPS 也没有帮助。