gnat 相关问题

作为GCC(GNU编译器集合,包括GNU C编译器)的一部分的GNU Ada编译器。此标记包括各种版本的GNAT(由AdaCore发布的GPL,与gcc发行版一起提供的FSF,或Pro)

Ada - 如何从 GNAT Pro Studio 生成包变量列表?

我想使用 GPS Ada 项目中的外部参照信息来生成为每个包规范和主体定义的变量列表。我需要排除子程序内部定义的任何变量...

回答 3 投票 0

Ada 编程语言中的 GUI [已关闭]

如何用Ada编程语言制作/创建GUI(图形用户界面)?有可能的? 在Python中,您可以使用tkinter制作窗口窗体。

回答 3 投票 0

无法断言 libsparkcrypto SHA256 结果相等

我的问题总结 我正在使用 libsparkcrypto 库来实现 SHA256 函数。我发现我无法断言 x = y 意味着 Sha256(x) = Sha256(y)。任何帮助将不胜感激。 ...

回答 2 投票 0

如何从 Ada 代码中的链接描述文件访问符号?

我正在使用 GNAT 构建我的 Ada/SPARK 项目,并且正在使用链接器脚本。以下是摘录: 部分 { 。代码 : { 。 =对齐(0x4); *(.text.section1) _教派结束...

回答 1 投票 0

Ada/SPARK:我应该使用 GNATprove 吗?哪里可以找到?

在 Learning Ada 的第 22.1 章中,尝试构建示例。 它期望安装 GNATprove。我使用的是 Ubuntu 18.04 LTS,但没有看到任何提供它的软件包。当我尝试...

回答 1 投票 0

如何在 Mac 上编译/构建 Ada?

我正在使用 Xcode 4.5.1 和命令行工具运行 Mac OS X v10.8 (Mountain Lion)。 我刚刚从这里安装了 GNAT 2012。 我使用本教程安装了它: 导航到目录

回答 1 投票 0

如何在 Mac 上安装 Gnat Planning Studio (GPS)?

我设法在 OSx 10.6.8 上从 libre.adacore.com 安装 gnat 编译器。我还想安装 Gnat Planning Studio (GPS) 环境。我尝试了不同的方法,但没有一个......

回答 2 投票 0

如何在 Mac (OS X) 上安装 ADA IDE 和编译器?

我下载了 GNAT ADA GPL 2014,现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明,但是在哪里可以找到名为 doinstall 的文件? 导航到目录...

回答 2 投票 0

如何在Mac(OSX)上安装ADA IDE和编译器?

我下载了 GNAT ADA GPL 2014,现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明,但是我在哪里可以找到名为 doinstall 的文件? 导航到目录...

回答 2 投票 0

Ada GPS IDE 似乎找不到 GtkAda

我已经安装了 GNAT Planning Studio (GPS) 和 GtkAda。它们似乎都工作正常,但是当我尝试在“从模板新建项目”下构建“简单窗口”项目时,我得到了一堆......

回答 2 投票 0

无界字符串“ENCODING_ERROR:项目输入错误”

为什么以下代码失败? 我故意选择了Characters.Latin_1.Reserved_128。 -- 文件“print_non_graphic_character.adb” 与 Ada.Characters.Latin_1; 与 Ada.Text_IO; 与 Ada.Strings。

回答 1 投票 0

尝试运行 gnattest 时出错

我正在尝试在 Ada 项目文件上运行 gnattest: gnattest -P(项目名称) 我收到以下错误: 找不到运行时本机的对象路径 gnattest:初始化失败 我确定了

回答 2 投票 0

在 GNAT 上链接错误 xerces-c

我必须使用使用 xerces-c 的 C++ 库。然后我有一个 Ada 项目,它从前面提到的 C++ 库导入两个符号。当我尝试构建 Ada 项目的主要部分时,一个面包......

回答 1 投票 0

在 GNAT 编译的 Ada 中转储当前堆栈?

在java中我有时会使用这个方法来查看我在当前堆栈中的位置: http://download.oracle.com/javase/1.5.0/docs/api/java/lang/Thread.html#dumpStack() 我是 Ada 世界的新手,但我...

回答 1 投票 0

Ada 量表超过最大值 18

亲爱的 Ada 爱好者, Long_Money_Type 类型是 delta 10.0**(-22) 位数字 38; 在第一台机器 Ubuntu Linux 64 位 GNAT 8.3.0 上,此方法有效。 在第二台机器上 Alpine Linux 64 位 GNAT 10.3.1 202...

回答 1 投票 0

意想不到的 Ada 类型兼容性

为什么伏特、安培和欧姆兼容? 与 ada.text_io;使用ada.text_io; 程序主要是...

回答 2 投票 0

Gnat for Mac Ada 编程

我正在编程课上学习 Ada 95,我想在我的 MacBook 上安装 gnat 编译器。我不知道在哪里可以得到一个好的小昆虫来编译我的代码,以及如何安装它。 我

回答 3 投票 0

在 RPI 4 v7 上安装 Gnatstudio

为 Gnatstudio 执行 ./configure 时,我收到以下错误。我已经搜索了与此相关的参考资料,但找不到与之相关的任何内容。 Gprconfig 已配置无

回答 0 投票 0

尝试在 Debian 上执行“alr get gnat_native”和“alr get gprbuild”时出现错误“错误:在索引中找不到 index.toml 文件”

我收到错误消息:当我尝试在 Debian 上使用 alr get gnat_native 和 alr get gprbuild 时,在索引中找不到 index.toml 文件。我确保安装了 Alire,通过使用 'alr' c ...

回答 0 投票 0

有没有办法在 Ada 中禁用特定类型的算术运算符?

我想将 HTML 响应状态代码数字定义为一种类型,但不允许使用算术运算符,因为这对他们来说没有意义。 类型 Status_Code 的范围是 100 .. 599; 函数“+...

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.