我正在尝试从Adacore的GPS迁移到基于Eclipse的GNATBench。 GNATBench可用here免费下载，但打包为zip文件。我只通过市场或在线存储库安装了Eclipse插件。我已经尝试将该文件夹解压缩到Eclipse插件文件夹中，但它无法正常工作。如何通过zip文件手动安装此插件？还有另一种方法吗？
答案 0 :(得分：11)
打开Help > Install New Software...，然后点击Add（右上角）。
在显示的Add Repository对话框中，单击Archive...并选择您下载的zip文件。还要为存储库命名。单击“确定”。
“可用软件”对话框现在应该显示zip的内容，您可以选择要安装的内容。