作为GCC(GNU编译器集合,包括GNU C编译器)的一部分的GNU Ada编译器。此标记包括各种版本的GNAT(由AdaCore发布的GPL,与gcc发行版一起提供的FSF,或Pro)
我有一个标记类型,实现了许多功能。在一种情况下,我需要其中一个函数来代替进入无限循环。不幸的是,据我所知,我没办法......
我升级到GNAT社区2018(GNAT GPL 2017一切正常)。我有这个项目文件:“opengl”;库项目OpenGL.Soil用于Library_Name使用“SoilAda”;为......
基于Brent Seidel的这项工作,我正在为Arduino Due构建一个运行时。该板使用Atmel SAM3X8E处理器,您可能会注意到这是一个七个字母的名称。布伦特在......
我正在研究一些用于在Ada中编码Arduinos的库。每个库都是自己的项目,我有一个聚合库的聚合项目。我需要为每个指定运行时...
我正在为ARM构建一个简单的程序。 GPRbuild输出以下内容:gprbuild -p -P avocado_test.gpr(在目录中:/ home / rodeo / Projects / AvocadoTest)绑定[gprbind] run_avocado_test.bexch ...
我有以下项目结构,其中每个.adb文件都是一个独立的可执行文件,它不依赖于任何其他东西:project /├──project.gpr├──bin/│├──bar│├──baz │...
我想写一个简单的函数,找到给定的Integer数组中的最大数字。这里是规范:包最大与SPARK_Mode是类型Vector是数组(整数范围<>)的...
我刚用GPS安装了AdaCore社区编译器dwarvin版本(gnat-community-2018-20180523-arm-elf-darwin-bin.dmg)。使用adacore的相应安装程序。我还设法......
我听过几次提到Ada支持垃圾收集 - 并且看着语言设计,它显然是考虑到这一点而设计的。我有一个非实时的应用程序...
手册内容为:检查子程序体的顺序。如果字母o出现在-gnaty之后的字符串中,则给定范围内的所有子程序体(例如包体)必须按字母顺序排列...
GPRbuild是否支持配置选项或任何其他方式将特殊编译器开关仅应用于特殊文件?如果使用用于严格语法检查的-gnatyXYZ开关,这可能很有用......
我正在尝试使用GPS(版本19.1)作为Greenhills AdaMULTI的外部编辑器。我进入-P +%LINE%FILE0%FILES到“命令行参数”以及正确的路径...
GNAT.Serial_Communications如何转换Stream_Element_Array
我尝试使用GNAT.Serial_Communications包编写一个带有Arduino的小型通信程序。建立与Arduino的沟通很好。我正在使用......
我正在阿达做一个算术表达式翻译。示例输入:“ADD a b; ADD b c; PRN c; SUB c a; PRN c;”我有一个很长的代码,所以我不想复制所有这些,而是 我试着解释...
运行时系统为Stm32F103 Arm,GNAT Ada编译器
我喜欢使用Ada和Stm32F103 uc,但问题是这个问题 - 在GNAT 2016中没有内置的运行时系统。还有另外一个TI RTS包含的cortex-m3 uc - zfp-lm3s,但看起来像......
Ada - 找不到“check_positive.adb”的图书馆信息
我必须学习阿达,所以我可以为它写一个翻译。但我找不到很多学习语言的资源。我在尝试编译以下代码时得到上述消息:我保存...
虽然安装了gfortran但找不到-lgfortran [重复]
可能重复:找不到lgfortran我必须承认我的问题可以被认为是非常相似的:lgfortran没找到但是因为我是linux的新手我需要更多的帮助而我不能......
仅在ISO标准Ada中,Record Representation Clause +任何其他语言功能如何可以移植到little-endian和big-endian处理器?
如果不使用最近版本的GNAT中的非标准‡Scalar_Storage_Order子句,那么如何通过记录表示条款与...结合使用来表示IPv4标头的可移植性。