gnat 相关问题

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

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

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

types ada gnat

回答 1 投票 0

Ada汇编的困惑

我正在努力学习Ada中的OOP。为此，我需要了解如何用gnatmake命名、编译和链接包文件。这个网站（http:/www.infres.enst.fr~pautetAda95...

ada gnat

回答 2 投票 1

更新GPS社区版2019 IDE的编译器

我最近开始做一个项目，要求我的编译器高于GNAT 4.8.5 - 当我进入: Help > About 你可以看到我使用的版本是4.8.5 还有，当我运行gnatls -...

linux ada gnat gnat-gps

回答 1 投票 3

Ada GNATprove Command_Line.Argument先决条件失败。

我试图写一个简单的验证代码块，以确保参数(Ada.Command_Line.Argument)和GetLine的输入是有效的，在我的例子中，我需要输入String中的所有字符......

command-line ada gnat spark-ada

回答 1 投票 0

未定义对gnat的'do_varargs'的引用。

编译后，当我尝试用win32ada 2017和GNAT 2017构建我的DLL时，它发出了一个错误：gnatlink -o -mdll -Wl,base-file, win32-...

ada gnat

回答 1 投票 0

GNAT Pro社区版中是否没有GNATtest？

[当我尝试在GNAT Pro 2020 Community Edition（Windows 10 64位）中生成单元测试时，在缺少gnattest工具时收到错误消息：无法找到gnattest。在Ubuntu 20.04（在WSL中）使用...

ada gnat

回答 2 投票 1

[Constraint_Error，当使用不能被8整除的模块化类型时

[我遇到一个问题，在Ada中使用无法被系统的Storage_Unit整除的模块化类型（在运行时的system.ads中定义）会在运行时在...时引发Constraint_Error，当...

ada gnat

回答 3 投票 1

如何将gnatmake / gnatbind / gnatlink集成到Cake / Ada代码的CMake文件中？

我用几种语言（C，C ++，Fortran77，Fortran90）编写了代码，并且可以使用CMake进行编译而不会出现任何问题。效果很好。现在，我要添加main（），其中...

c cmake ada gnat

回答 1 投票 1

如何在Linux Centos 7上安装Gnatcoll Postgres

我已经安装了gprbuild，xmlada和gnatcoll。我现在正在尝试安装gnatcoll_postgres。我从这里下载下来的内容：https://github.com/AdaCore/gnatcoll-db/在Postgres文件夹中...

linux postgresql centos7 ada gnat

回答 1 投票 0

安装GNATCOLL SQL和POSTGRES-Centos7 Linux，不使用configure / make

到目前为止，我已经下载了GNAT GPS Community，并将其安装在我的Linux Centos 7计算机上。我的目标是能够完成以下两个在线示例：1：http：//bisaga.com/blog/programming / ...

postgresql centos7 ada gnat gnat-gps

回答 1 投票 0

Ada-在过程中引发的可访问性检查

我以前问过一个有关Ada上进行的可访问性检查的问题，@ Brian Drummond对此很友善。可访问性检查在一个函数中，现在我有一个相似之处...

ada gnat gnat-gps ada2012

回答 1 投票 1

Ada-进行了可访问性检查

我已经从Github下载了该程序：https://github.com/raph-amiard/ada-synth-lib我已经提出了第一个示例，但出现一个例外。如果有人可以给我一个...

gps ada gnat ada2012 ada95

回答 1 投票 0

我可以在内部放置杂注`Inline`代替规范吗？

Ada信息交换所声明以下内容：使用pragma Inline确实有其缺点。它可以在主体上创建编译依赖项。也就是说，当规范使用...

inline ada pragma gnat

回答 1 投票 1

Ada中的动态链接库引入了额外的依赖项

我在动态和静态链接Ada中的库时遇到麻烦。我准备了一个最小的工作示例。这三个文件定义了一个输出“ Hello world”的库：helloworld_lib.gpr：...

dll ada gnat gnat-gps

回答 1 投票 1

Ada 2012多路树，创建根节点

我正在使用Multiway Tree的有界版本。我可以创建元素类型并实例化该类型的树，但是如何创建根？我看到几种形式的Insert_Child。我所有的...

ada gnat multiway-tree

回答 3 投票 0

[GNAT GPS：添加自定义命令

我想知道是否可以向GNAT编程工作室（GPS）添加自定义命令？如果通过菜单栏上的按钮或键盘快捷键调用了自定义命令，则外部...

ada gnat gnat-gps

回答 1 投票 0

将结构/记录从汇编程序传递给Ada

我正在尝试将结构从（x86）汇编器传递到堆栈上的Ada。我已经能够成功地在C语言中使用此模式来接受包装从程序集传递来的大量参数...

ada gnat ada2012

回答 1 投票 1

将libgnat编译为单个LLVM位代码文件

如何将libgnat编译为单个LLVM位代码文件？最新的Dragonegg版本非常旧，因此我提供了一个dockerfile来简化测试。我的最终目标是在LLVM IR位码中运行Ada ...

ada llvm-ir gnat

回答 1 投票 1

Ada初学者堆栈程序

[基本上，我有2个文件（.adb和.ads）。我是Ada的新手，还介绍了如何编译2个文件。该程序是一个基本的堆栈实现。编译.adb ...

stack ada abstract-data-type gnat

回答 2 投票 2

如何使用gnat更改Ada库的符号可见性？

我将程序移植到Linux时遇到了麻烦，因为默认情况下Linux具有公共符号可见性。目前，我有一个可执行文件和一个.so共享对象库，都是用Ada编写的。他们分享......

linux visibility ada gnat

回答 5 投票 0

gnat 相关问题

最新问题