我正在尝试在VxWorks（带有Linux 16.04的VM）中安装Ada。 我遵循了本教程：https://www.youtube.com/embed/YE7I-j8lhXs
但是在选择AdaCore插件后，会出现错误消息：
无法完成安装，因为一个或多个必需项可能 找不到。正在安装的软件：与GNATbench集成 火花18.2.20180529（com.adacore.gnatbench.spark.feature.group 18.2.20180529）缺少过滤器属性〜= $ 0的要求：GNATbench平台18.2.20180529（com.adacore.gnatbench.feature.group 18.2.20180529）要求'com.adacore.gnatbench.library.linux.x86_64 [18.2.20180529]'，但找不到它不能满足 依赖关系： 来自：GNATbench与SPARK集成18.2.20180529（com.adacore.gnatbench.spark.feature.group 18.2.20180529） 收件人：com.adacore.gnatbench.feature.group 2.5.0“
在哪里可以找到在此过程中忘记的库？