微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

适用于Linux的Ada编译器

我正在为Linux上的Ada开发进行贸易研究。 你有什么好的编译器/操作系统build议?

到目前为止,我已经在CentOS 5.4上运行了AdaCore的GNAT,并且我有许可证请求用于Rational Apex和Aonix ObjectAda。

这是一个移植工作。 原始代码库是OSF1 4.0d上的Apex 3.0。

还有什么我应该考虑的? 理想情况下,这将是一个支持的环境。

如何使用PHP将.NET源文件编译为可执行文件

有什么办法可以将我们的PHP代码编译成可执行文件

良好的IDE /编译器简单的C DLL的

Visual C ++在函数的末尾附加0xCC(int3)个字节

哪个C编译器你推荐的Windows

在Windows中有一个相当于gcc的?

如何在编译/链接周期中测量在磁盘I / O上花费的时间?

编译Python到本机代码

从Windows可执行文件中识别编译器版本

为什么编译器创build一个variables“两次”?

需要考虑的一个问题是确定要移植的系统在多大程度上利用供应商提供的软件包来执行其功能。 我所看到的老式大型系统,特别是Apex系统,是语言大师在开发期间决定香草Ada不够好的一个倾向,因此与所有这些供应商提供的软件包捆绑在一起。 如果这就是你的系统现在所做的,那么在供应商内部进行升级并坚持使用Apex(所有其他东西大部分都是平等的)是一个有力的论据。

每当我完成了这样的系统的端口,如果有机会,我已经尽了最大的努力去淘汰所有供应商提供的东西 – 十个中的九个替换供应商特定的东西与香草Ada实现工作也一样,而且不再需要处理特定于编译器的软件包的怪癖。 另外,还增加了系统的可移植性和可维护性,使其能够更好地适应未来的变化。

总是有SPARK,但是我相信它是Ada语言的专用/子集版本。 您可能需要联系SigAda或Ada usenet组以查看是否有任何其他想法。

老实说,GNAT是一个伟大的工具集。 您可以使用Eclipse接口GNATBench或轻量级GTK + IDE GPS来连接GNAT工具。

我知道的其他编译器有Green Hills AdamULTI (用于各种RTOS)和DDC-I的score (也用于各种RTOS)

支持Linux的认证编译器的供应商(除了问题中列出的):

欧文编译器公司

OC系统

RR软件

Sofcheck

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 [email protected] 举报,一经查实,本站将立刻删除。

相关推荐