GNAT Studio
What is GNAT Studio?
GNAT Studio is a lightweight, extensible IDE, intended to develop high-integrity software in Ada and SPARK, with support for C and C++ as well.
Building
Requirements
GNAT Studio requires:
- A recent version of Gtk+ (currently using version 3.24)
- An install of Python which includes PyGObject and Pycairo
- An install of GtkAda
- An install of GNATcoll, configured with support for projects and Python scripting (
--enable-project,--with-python=...)
See the INSTALL file for details.