Debian Patches

Status for gnat-gps/19.2-3

Patch Description Author Forwarded Bugs Origin Last update
doc_version_from_configure.in.diff adapt extraction of version for doc to python3-sphinx The name of this patch is historical. Nicolas Boulenguez <nicolas@debian.org> no
documentation-path.patch Place documentation files in /usr/share/doc/gnat-gps. The documentation is described by XML files that GPS parses at run time:
place them in /usr/share/doc/gnat-gps, too, and patch GPS so it
looks for them there. The XML files refer to other files; adjust the
path to match.
.
Mention Debian packages where links are provided,
remove references to non-free documentations.
Nicolas Boulenguez <nicolas@debian.org> not-needed
elaboration.patch avoid crashes caused by elaboration order. After binding the program with -p (pessimize the elaboration order)
Ludovic discovered some elaboration order issues that are the cause
for some of GPS's crashes at run-time. This patch fixes these
issues.
Nicolas Boulenguez <nicolas@debian.org> no 2014-05-24
fix_warnings.diff fix GCC/python/lintian pedantic warnings Nicolas Boulenguez <nicolas@debian.org> no
do-not-set-pythonhome.diff only set PYTHONHOME if in the environment The default value works, Executable_Location causes a crash. Nicolas Boulenguez <nicolas@debian.org> no
python_2_to_3.diff fix incompatibilities with Python3 Some parts are required to build the documentation with a recent sphinx
interpreted by python3.
Nicolas Boulenguez <nicolas@debian.org> no
clang-flexible-binding-generation.diff make generation of clang bindings more portable Allow user to override
- CLANG_VERSION
- CLANG_SRC_DIR (by using abspath instead of pwd in CLAN_INCLUDE_DIR)
- GCC_DUMPMACHINE
.
Update for gcc-9, which uses aspects instead of pragmas.
Nicolas Boulenguez <nicolas@debian.org> no
clang-3.6.diff fix inconsistencies with clang generated headers Nothing in the documentation says whether CXUnsavedFiles or
IndexerCallbacks may be modified, though the C sources often
specify the const modifier when it can.
Nicolas Boulenguez <nicolas@debian.org> no
libadalang_disable.diff disable libadalang support. This library and its dependencies are not packaged yet. Nicolas Boulenguez <nicolas@debian.org> no
clang-3.8.diff ugly workarounds until GPS uses clang 3.8 Some constants have been removed from 3.7. Nicolas Boulenguez <nicolas@debian.org> no
gtk3-incompatibility.diff handle recent Gtk-3.0.gir. See update-gtk-gir.diff in libgtkada/17.0.2017-3 for details. Nicolas Boulenguez <nicolas@debian.org> no
gnatdoc.diff gnat-gps: Inaccuracies in documentation generated by GNATdoc The "not overriding" indicators appear as "overriding" indicators.
.
The line numbers shown for the subprogram declarations are wrong (one
unit too high) if there is an "overriding" or a "not overriding"
indicator on the previous line. NOT FIXED with gnat-gps 6.1.2016-1.
.
When there is a quantified expression in the precondition or
postcondition of a subprogram, then the documentation for the
subprogram is not rendered. I guess it's not a new issue but I
discovered it recently with 6.1.2016-1. I managed to patch the
frontend.
.
The sample code at https://github.com/thierr26/gnatdoc_test
reproduces the issue.
.
When refreshing, beware that there 'if No (Next_Entity) then'
appears in two similar contexts (see end of bug report).
Thierry Rascle <thierr26@free.fr> no debian
clang-translation-unit.diff ugly workarounds gluing GPS with more recent libclang The Clang_Translation_Unit type is now translated
into an access type not directly compatible with System.Address.
Nicolas Boulenguez <nicolas@debian.org> no

All known versions for source package 'gnat-gps'

Links