Eclipse plugin ADA发展环境2017

我想安装一个ADA开发环境，可能是在Eclipse中，但在我看来，没有插件可从Eclipse market place下载， 没有下载是真正可以从 那么，发生了什么，艾达死了吗？ 我认为不是，但是为什么仅仅安装一个开发环境就这么困难呢？ 谢谢

从该网站下载的内容包括AdaCore自己的IDE“GPS”

我不知道AdaCore的专业客户是否能得到他们的Eclipse插件GNATbench，上一次听说它是在2014年左右。他们没有在网页上提供

在我看来，他们好像自己使用GPS（有很多GPS插件）。其他一些Ada开发人员（包括我自己）也使用Emacs。

谢谢，现在可以使用了，而且安装很简单，我更喜欢Eclipse，但我也可以使用GPS。