| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 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 | ||
| examples-compile-ada-and-c-with-same-gcc.diff | in examples, require the same major version for Ada and C compilers This cannot be forwarded because /usr/bin/gcc-MAJOR is specific to Debian. | Nicolas Boulenguez <nicolas@debian.org> | not-needed |