Posts tagged gnat
ada_language_server
- 2024-11-05(Tue)
近年はLanguage Server Protocol(以下LSP)のお陰でIDEやエディタを問わず補完や宣言等へのジャンプが使えるようになりました。 それでGNAT/gcc用のLSPサーバーであるada_language_serverを使おう、という話です。
GNAT Community Editionの後継
- 2022-07-20(Wed)
A New Era For Ada/SPARK Open Source Community | The AdaCore Blog によりますと、 GNAT Community Edition は2021年版で終了のようで、代わりに Alire というパッケージマネージャに移行していくようです。