Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
private-linker-options.diff | Only copy Library_Options to Linker'Linker_Options for static kinds A program embedding a static library must be linked with indirect dependencies, but a shared library is already linked with Library_Options, and a program linking with it does not need to repeat indirect dependencies. Overlinking even causes maintenance problems. |
Nicolas Boulenguez <nicolas@debian.org> | yes | |||
cflags_also_gnatcoll_support_c.diff | apply CFLAGS to gnatcoll_support.c A commit managing ADAFLAGS CFLAGS CPPFLAGS LDFLAGS has been accepted as https://github.com/AdaCore/gnatcoll-core/pull/39, but gnatcoll_support.c has been forgotten. |
Nicolas Boulenguez <nicolas@debian.org> | yes | |||
link-with-libdl.diff | Link with libdl on unix OS. gnatcoll-plugins__unix.adb references libdl.so. The -ldl linker option has been lost by commit 6fe0fbee464d986469f9f7245a94b66b212828be when the old Makefile has been converted to gprbuild. |
Nicolas Boulenguez <nicolas@debian.org> | yes | |||
doc_path.diff | Give GPS Debian path when registering documentation. | Nicolas Boulenguez <nicolas@debian.org> | not-needed | |||
gpr-renamed-to-gnatprj.diff | libgpr is called libgnatprj in Debian. because of a conflict with the grpc source package. | Nicolas Boulenguez <nicolas@debian.org> | not-needed | |||
python3-doc-in-gps.diff | adapt a generator script to python3 | Nicolas Boulenguez <nicolas@debian.org> | yes |