我正在使用Ada编程IDE GNAT编程工作室(GPS,GPL 2017版本),当我尝试将其与STM32F4Disco一起使用时,我遇到了困难. 在Linux(Ubuntu 17.10)上,当我尝试打开STM32项目时,…