Ada プログラミング IDE GNAT Programming Studio (GPS、GPL 2017 リリース) を使用していますが、STM32F4Disco で使用しようとすると苦労します。
Linux (Ubuntu 17.10) で STM32 プロジェクトを開こうとすると、GPS がフリーズします。コア ダンプもエラー メッセージもありません。.gsp/log に例外メッセージはありませんが、読み込みが完了していないようです。
助けていただければ幸いです。ありがとうございました
編集: AdaCore Web サイトから Linux 用の GNAT 2017、Spark、および arm-elf をインストールしました。
編集 2: Mac での GPS に関する質問は、ソフトウェアとハードウェアの質問と見なされる可能性があるため、削除します。