joubertnel / gps

The GNAT Programming Studio.

GPS - the GNAT Programming Studio

• What is GPS?
• Building

What is GPS?

GPS 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

GPS requires:

• A recent version of Gtk+ (currently using version 3.14)
• 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.