Your message dated Tue, 25 Jul 2017 19:34:05 +0000 with message-id <[email protected]> and subject line Bug#869611: fixed in gprbuild 2017-3 has caused the Debian Bug report #869611, regarding gprbuild always recompiles Ada with gcc-7 and SOURCE_DATE_EPOCH to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 869611: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=869611 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Source: gprbuild Version: 2017-2 Severity: normal Hello. When SOURCE_DATE_EPOCH is defined in the environment, and the date it contains is older than an Ada source, gcc (>= 7.1.0-9) writes SOURCE_DATE_EPOCH in the .ali file instead of the actual source file timestamp. gprbuild then detects the mismatch and insists on recompiling again and again. gpr/src/gpr-util.adb should probably be patched to handle SOURCE_DATE_EPOCH too. To reproduce: cat > a.adb <<EOF procedure A is begin null; end A; EOF cat > p.gpr <<EOF project P is for Main use ("a.adb"); end P; EOF export SOURCE_DATE_EPOCH=100 gprbuild p.gpr gprbuild -vh p.gpr
--- End Message ---
--- Begin Message ---Source: gprbuild Source-Version: 2017-3 We believe that the bug you reported is fixed in the latest version of gprbuild, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Nicolas Boulenguez <[email protected]> (supplier of updated gprbuild package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 25 Jul 2017 20:36:24 +0200 Source: gprbuild Binary: libgpr16.1.2016 libgpr1-dev gprbuild Architecture: source Version: 2017-3 Distribution: experimental Urgency: medium Maintainer: Nicolas Boulenguez <[email protected]> Changed-By: Nicolas Boulenguez <[email protected]> Description: gprbuild - multi-language extensible build tool libgpr1-dev - support for programs processing GNAT projects (development) libgpr16.1.2016 - support for programs processing GNAT projects (runtime) Closes: 869611 Changes: gprbuild (2017-3) experimental; urgency=medium . * Do not always recompile Ada sources younger than SOURCE_DATE_EPOCH. Closes: #869611. Regression test. * Debhelper 10. Drop explicit rules targets confusing dh. Checksums-Sha1: d80d32b244e7b989688a7d474f7d930dd758fd33 2186 gprbuild_2017-3.dsc 4986ec4dbc732764601b1b4a66b5a0561a73e05f 18716 gprbuild_2017-3.debian.tar.xz Checksums-Sha256: 1b121ccb496243516f0c3bd0b8e2f81996f1fb3bd1a71d7060bc292bba7f99a3 2186 gprbuild_2017-3.dsc 6d85c03f20b85ea563579f1d92dc326485fa0893dd749b72086342bbf6cd9f4a 18716 gprbuild_2017-3.debian.tar.xz Files: 3921bd3b9a96e070455cf56a452321d6 2186 devel optional gprbuild_2017-3.dsc 9a5f3d2daaa4157a679cef5e79e701ba 18716 devel optional gprbuild_2017-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJHBAEBCAAxFiEEYtlNMqmXIhEvWffytSqc9EkN/I0FAll3lpoTHG5pY29sYXNA ZGViaWFuLm9yZwAKCRC1Kpz0SQ38jZchD/9QmRqDnktIoKDdjc6aAYsAefSZFrnL A0XZZqycm/GguyUlY02CFeQq9zPL6MTigrR3jNXDv4sg0gjXsOlog6g56h6cgt4r i27Lx105nwhUSqh1rK4mJTOA1fI4KVq8Z1O49YTaClpzuIJA3pOmfHxsHuetYHCO QELWIcFGgW9L7xyG6rjG9ivWj1JfRXMhYTxnSPbJUKrf8uwwiucIP76Qo/td5nQo W33e6gaM/0N4vDwsoro/sLlyr4zKIIB2fzOqxEo/d3rO7XI9InjbUfhseeqW68+b QLlxfnWf+IPnCzE1g3hioE8DcRvLqb26mx63YGYSEj+HZgtpF6q89zKJwBNMnaPZ nWPOG7TY17bFzY/6qEL8MsYsPm8NispJO17xksdR9jdz4uPSrbXAOhkb+Z/c0A3N oXwzhqwv1HbjIRxlif3wmMH3Fw2momr//JAp0kOCbEai/IxwjTGLQVXsnDczaJ4G XZdFnJF7hakYWQauFgWC5enlxSpkI2tpZhlb8chwSZxWGgtzqMqXrL2GLuNZiWLs W57S1rHgvfYppVlR/daxlyJyTXqPBREDiOR5eN1u4d5eFwKkarEWRXIvwuP9C26x guWrmz0x5FvPoZ1fLO69MEGEHdM9cIjkog477DvNsbGVO8OJwcTxO0tTLXrshWhI fAY/DEmN/76qug== =mGRg -----END PGP SIGNATURE-----
--- End Message ---
