Showing content from https://github.com/AdaCore/gnatstudio below:
AdaCore/gnatstudio: GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Skip to content Navigation Menu
Search code, repositories, users, issues, pull requests...
Saved searches Use saved searches to filter your results more quickly
Sign up You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert AdaCore/gnatstudio
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.
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.
About
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Resources Code of conduct Stars Watchers Forks
You can’t perform that action at this time.
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4