是否有免费的Ada实现?

17

我查看了AdaCore网站以及A#(现在似乎是AdaCore拥有的)网站,但似乎都不是免费的(尽管我可能读错了)。有什么推荐吗?

5个回答

19

GNAT可在此处下载:https://libre.adacore.com/

寻找“GNAT GPL版”。不确定为什么它会隐藏在那个鲜为人知的网站上。


1
很好的发现。我在adacore.com网站上找了很久,但没有看到那个。 - Mark Biek
2
它非常隐蔽,因为它是一个很好的产品,他们通过销售商业版本来赚钱。通常GNU版本更容易找到,所以我更喜欢使用它们。 - T.E.D.
3
关于 GNAT GPL 版本需要注意的重要事情是它真正是遵循 GPL 协议的,也就是说你只能使用它来编译 GPL 代码,这是由运行时库的许可证所决定的。这是一种确保商业用户购买完整版本许可证的相当不错的方式。而这个限制在大多数基于 GCC 的其他 GPL 编译器中并不存在。 - Kothar
2
GCC附带的GNAT版本在GPL下授权运行时库,并附有一个例外,因此可以将其编译到商业代码中;该例外总体上比LGPL更慷慨。由于AdaCore网站上也提供了相同的GPL+运行时例外的GNATColl库,我会感到惊讶如果他们改变了他们从网站提供的GNAT运行时库的许可证为GPL,当几乎相同的文件可以从gcc.gnu.org以GPL+运行时例外的形式获得。 - prosfilaes

12

8

4
过去,ada前端不是gcc编译器的一部分。但现在,当你安装大多数linux发行版时,gnat ada编译器会与gcc编译器捆绑在一起。当然,您可能需要各种开发库来满足自己项目的需求,但ada前端已经存在。至少在过去几年中,这是我在debian和ubuntu上的经验。
至于AdaCore,他们隐藏了免费版本的gnat ada编译器,因为他们希望您购买支持;这是他们合法可以做的。然而,gcc编译器是GPL并被认为是开源的,这意味着您可以免费使用它。

2

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接