Summary
GPS is a lightweight, extensible IDE, intended to develop high-integrity software in Ada and SPARK, with support for C and C++ as well.
Versions
v2019-r1 :: 0 :: gentoo (Masked by set 41584251)
- Modified
- License
- GPL-3
- Keywords
- amd64 x86
USE flags
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
python_single_target
- python2_7
- Build for Python 2.7 only
Dependencies
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
dev-python / pygobject : Python bindings for GObject Introspection
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
Runtime Dependencies
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
dev-python / pygobject : Python bindings for GObject Introspection
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
Bugs
Masks
4158- Michał Górny
Masked for the time being due to dep on LLVM 8. Bug #720236.- <=dev-ada/gps-2019-r1
4251- Alfredo Tupone
Ported to py3.8 but not yet released Masked to allow py2.7 removal- dev-ada/gnatcoll-bindings
- dev-ada/gnatcoll-db
- dev-ada/gps
- dev-ada/langkit
- dev-ada/libadalang
- dev-ada/libadalang-tools
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-ada/gps: Remove old (LLVM 7)
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/gps: stable
Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/gps: support LLVM 8
Closes: https://bugs.gentoo.org/710642 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-ada/gps: Switch to PYTHON_MULTI_USEDEP API
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ada/gps: sys-devel/llvm:6 gone
Package-Manager: Portage-2.3.79, 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: 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