Package: gprbuild / 2021.0.0.0778b109-5

Metadata

Package Version Patches format
gprbuild 2021.0.0.0778b109-5 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
gprconfig.patch | (download)

src/gprlib.adb | 10 9 + 1 - 0 !
1 file changed, 9 insertions(+), 1 deletion(-)

 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).
no_stderr_in_example.diff | (download)

examples/Makefile | 2 1 + 1 - 0 !
examples/ada_f77/src/fm.adb | 4 4 + 0 - 0 !
examples/subsystems/c_src/c_main.c | 1 1 + 0 - 0 !
3 files changed, 6 insertions(+), 1 deletion(-)

 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.
allow pie overriden for libs.diff | (download)

src/gprbuild-compile.adb | 34 17 + 17 - 0 !
src/gprlib-build_shared_lib.adb | 6 3 + 3 - 0 !
2 files changed, 20 insertions(+), 20 deletions(-)

 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.
ada lib info source date epoch.diff | (download)

gpr/src/gpr-osint.adb | 65 60 + 5 - 0 !
gpr/src/gpr-osint.ads | 10 10 + 0 - 0 !
2 files changed, 70 insertions(+), 5 deletions(-)

 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).
do not strip minor soversion.diff | (download)

gpr/src/gpr-util.adb | 51 1 + 50 - 0 !
1 file changed, 1 insertion(+), 50 deletions(-)

 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).
 .
clean pycache.diff | (download)

doc/Makefile | 3 2 + 1 - 0 !
1 file changed, 2 insertions(+), 1 deletion(-)

 clean python cache directory
doc conf sphinx4.diff | (download)

doc/share/conf.py | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 update doc for sphinx4
doc conf python3.diff | (download)

doc/share/conf.py | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 update doc for python3