| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| gprconfig.patch | share/gprconfig/*.xml fixes for Debian In Debian, the gnat package enforces the installation of 'gcc-BV', but the 'gcc' link may refer to another version or even be absent. Prefer gnatgcc to gcc for Ada. This requires a work-around in gprlib, because it does strong assertions about the compiler name. . We put gprbind and gprlib in /lib/gprbuild, not /libexec/gprbuild. We don't put them in /usr/lib/${DEB_HOST_MULTIARCH}/gprbuild, because the multiarch conventions do not yet address executables. Moreover, their path must be written in the arch-indep /usr/share/gprconfig/*.xml (from gprconfig-kb package). |
Nicolas Boulenguez <nicolas@debian.org> | not-needed | |||
| no_stderr_in_example.diff | make the tests usable as basic tests. We want a status report when we run the examples as tests, but not when we clean without gprclean. . Autopkg-test considers that a test fails if it emits on stderr. |
Nicolas Boulenguez <nicolas@debian.org> | yes | |||
| allow-pie-overriden-for-libs.diff | put PIC options late on the command line for libraries. This option is mandatory, and should override incompatible options like PIE. A use case is described at https://lists.debian.org/debian-devel/2016/05/msg00302.html. |
Nicolas Boulenguez <nicolas@debian.org> | yes | |||
| ada-lib-info-source-date-epoch.diff | handle ALI timestamps generated from SOURCE_DATE_EPOCH When the SOURCE_DATE_EPOCH environment variable is set, gcc replaces timestamps more recent than its value with its value when writing Ada Library Information (ALI) files. This allow reproducible builds from generated or patched Ada sources. https://reproducible-builds.org/specs/source-date-epoch/ . Let gprbuild recognize this situation instead of always detecting the file as obsolete. . The patch should be kept in sync with the gcc-BV patch with the same name (hence Getenv instead of Ada.Environment_Variable.Value). |
Nicolas Boulenguez <nicolas@debian.org> | no | |||
| do-not-strip-minor-soversion.diff | when linking libraries, do not strip minor version numbers Use the exact Library_Version provided, if any, as the soname of libraries (PR ada/40025). . The original Debian GCC patch ada-library-project-files-soname.diff makes the strip optional, but seems ignored upstream. |
Nicolas Boulenguez <nicolas@debian.org> | no | https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40025 | ||
| clean-pycache.diff | clean python cache directory | Nicolas Boulenguez <nicolas@debian.org> | yes | |||
| doc-conf-sphinx4.diff | update doc for sphinx4 | Nicolas Boulenguez <nicolas@debian.org> | yes | |||
| doc-conf-python3.diff | update doc for python3 | Nicolas Boulenguez <nicolas@debian.org> | yes |