我正在使用 Ada 编程 IDE GNAT Programming Studio（GPS，GPL 2017 版本），当我尝试将它与 STM32F4Disco 一起使用时遇到了困难。
在 Linux (Ubuntu 17.10) 上，当我尝试打开 STM32 项目时，GPS 冻结。没有核心转储，没有错误消息。.gsp/log 中没有异常消息，但看起来它没有完成加载。
帮助将不胜感激。谢谢
编辑：我从 AdaCore 网站安装了 GNAT 2017、Spark 和 arm-elf for Linux。
编辑 2：我删除了关于 Mac 上 GPS 的问题，因为它可能被视为软件硬件问题。