Giters

mosteo / gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

GPS - Screenshot

Building

Requirements

GNAT Studio 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.

About

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Languages

Language:Ada 91.8%Language:Python 7.5%Language:C 0.1%Language:JavaScript 0.1%Language:M4 0.1%Language:Batchfile 0.1%Language:Shell 0.1%Language:Makefile 0.1%Language:CSS 0.1%Language:C++ 0.1%Language:Hack 0.0%Language:XSLT 0.0%Language:HTML 0.0%Language:Java 0.0%