Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
gprinstall-no-artifacts.diff | prevent gprinstall from installing artifacts We do not want gprbuild in Build-Depends-Indep. | Nicolas Boulenguez <nicolas@debian.org> | not-needed | |||
adapt_projects.diff | let projects allow build flags and dynamic linking. Allow the user to set ADAFLAGS (and LDFLAGS for dynamic links). . Stop testing if LIBDIR and OBJDIR exist. The Makefile does not set them. . If SOVERSION is not empty, build a shared library. This should not affect the default behaviour, since the Makefile does not set this variable. . Use different object and library directories for shared and static builds, so the patch modifies the directory names. As far as I know, in normal usage, these directories are only used internally by gprbuild/install/clean. |
Nicolas Boulenguez <nicolas@debian.org> | yes | |||
doc-conf-sphinx4.diff | Adapt doc/share/conf.py to sphinx4 | Nicolas Boulenguez <nicolas@debian.org> | yes |