2016-05-13 75 views
0

我正在尝试使用Ada进行汽车编程,以充分利用该语言的安全关键功能。我只看到了(Libre,GNAT编程工作室)的开发工具的商业许可证。任何开源Ada(latest,2012)IDE?

有没有免费的Ada IDE?

+1

你在同一篇文章中提到“开源”和“免费”,我怀疑后者是“免费的,如免费啤酒”。您需要在此澄清语言。很显然,如果你想做安全关键的代码,那么你在某些时候会依赖合格的工具,而且这些工具的开发和维护都很昂贵。 – manuBriot

+1

如果重点在于“尝试”,那么GNAT编程工作室也可以免费获得,同样可以使用基于Eclipse的IDE(AdaCore,PTC)以及其他可用于评估的IDE。 – B98

回答

1

有些选项是GNAT GPS和Emacs。

8

GPS和Emacs(ada模式)均获得GPL许可,但这并不重要,因为您不会将它们交付给用户。他们都是环境,启用运行编译器和相关工具

如果您需要提供您的软件由独立权威机构认证的,你可能付出了他们很多比你从AdaCore有任何支持合同更多,他们可能会希望你有更多的工具支持而不是使用AdaCore的GPL工具集。

但是,如果你不具备认证或支持的问题,那么你可以使用GPS或Emacs与您所选择的编译器:

  • ,如果你能在GPL下发布你的软件,你可以使用AdaCore的GNAT GPL编译器;
  • 如果没有,您可以使用FSF GCC Ada编译器。