dev-ada / gps

The GNAT Programming Studio

Official package sites : http://libre.adacore.com/tools/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.

v2019 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
~amd64 ~x86

v2018-r2 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 x86

ada_target

gnat_2016
Compile with dev-lang/gnat-gpl-2016
gnat_2017
Compile with dev-lang/gnat-gpl-2017
gnat_2018
Compile with dev-lang/gnat-gpl-2018
gnat_2019
Compile with dev-lang/gnat-gpl-2019
gnat_2019
Compile with dev-lang/gnat-gpl-2019

python_targets

python2_7
Build with Python 2.7

dev-ada / gnatcoll-bindings : GNAT Component Collection

dev-ada / gnatcoll-db : GNAT Component Collection

dev-ada / gtkada : A complete Ada graphical toolkit

dev-ada / libadalang : high performance semantic engine for the Ada programming language

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / python-exec : Python script wrapper

dev-libs / gobject-introspection : Introspection system for GObject-based libraries

dev-libs / libffi : a portable, high level programming interface to various calling conventions

dev-python / jedi : Autocompletion library for Python

dev-python / pep8 : Python style guide checker

sys-devel / clang : C language family frontend for LLVM

sys-devel / llvm : Low Level Virtual Machine

x11-themes / adwaita-icon-theme : GNOME default icon theme

x11-themes / hicolor-icon-theme : Fallback theme for the freedesktop icon theme specification

dev-ada / gnatcoll-bindings : GNAT Component Collection

dev-ada / gnatcoll-db : GNAT Component Collection

dev-ada / gtkada : A complete Ada graphical toolkit

dev-ada / libadalang : high performance semantic engine for the Ada programming language

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / python-exec : Python script wrapper

dev-libs / gobject-introspection : Introspection system for GObject-based libraries

dev-libs / libffi : a portable, high level programming interface to various calling conventions

dev-python / jedi : Autocompletion library for Python

dev-python / pep8 : Python style guide checker

sys-devel / clang : C language family frontend for LLVM

sys-devel / llvm : Low Level Virtual Machine

x11-themes / adwaita-icon-theme : GNOME default icon theme

x11-themes / hicolor-icon-theme : Fallback theme for the freedesktop icon theme specification

Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: enable 2019 compiler
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: version bump to 2019
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: remove old version
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Tupone Alfredo · gentoo
dev-ada/gps: stable
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: fix dosym
Closes: https://bugs.gentoo.org/699488 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: using USE_EXPAND variable
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: fix deps, remove gnat_2017 USE
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: remove old version
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Add REQUIRED_USE
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Build gtk+ compatible library
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Install a compatible gtk+ library
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Explicity call python pkg_setup
Closes: https://bugs.gentoo.org/673264 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Tupone Alfredo · gentoo
dev-ada/gps: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: make it works with dev-ada/libgrp-2018
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: It works for gnat_2016 now
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Only for gnat 2017
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Fix dependnecy string
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Works only with gnat-gpl-2018
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.49, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: respect ADAFLAGS/CFLAGS
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ada/gps: Version bump to 2018
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Tupone Alfredo · gentoo
dev-ada/gps: No strict aliasing
Closes: https://bugs.gentoo.org/653484 Package-Manager: Portage-2.3.24, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/gps: Add desktop entry
Closes: https://bugs.gentoo.org/653536 Package-Manager: Portage-2.3.24, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/gps: Add ~x86. Fix build with gnatcoll shared
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/gps: gnatcoll tools need gnatcoll build with static-libs
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Tupone Alfredo · gentoo
dev-ada/gps: set the path of libclang
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/gps: Respect CFLAGS and ADAFLAGS
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/gps: Disable test
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/gps: Adding gnat documentation
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/gps: Fix names for gnat/gnatls/gnatmake
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/gps: use only (gnat)gcc-6.3.0 compiler
Package-Manager: Portage-2.3.13, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ada/gps: Add GPS (IDE) to gentoo
Package-Manager: Portage-2.3.13, Repoman-2.3.3