| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| ada-lib-info-source-date-epoch.diff | set ALI timestamps from SOURCE_DATE_EPOCH if available. When the SOURCE_DATE_EPOCH environment variable is set, replace 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 | |||
| adapt-to-private-timeval.diff | Adapt gpr to a private timeval type in libgnat | Nicolas Boulenguez <nicolas@debian.org> | not-needed | |||
| call-gnatbind-suffix.diff | run gnatbind as TARGET-gnatbind-VERSION instead of gnatbind-VERSION This work-around is specific to Debian, which installs no executable or symbolic link named TARGET-gnatbind. |
Nicolas Boulenguez <nicolas@debian.org> | not-needed |