1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# GPS - the GNAT Programming Studio
- [What is GPS?](#what-is-gps)
- [Building](#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+](http://www.gtk.org/) (currently using version 3.14)
- An install of Python which includes [PyGObject](https://wiki.gnome.org/action/show/Projects/PyGObject) and [Pycairo](https://cairographics.org/pycairo/)
- An install of [GtkAda](https://github.com/AdaCore/gtkada)
- An install of [GNATcoll](https://github.com/AdaCore/gnatcoll), configured with support for projects and Python scripting (`--enable-project`, `--with-python=...`)
See the `INSTALL` file for details.
|
