Your message dated Thu, 14 Apr 2016 14:07:39 +0000 with message-id <[email protected]> and subject line Bug#819446: fixed in acl2 7.2dfsg-1 has caused the Debian Bug report #819446, regarding acl2: Please do not hide the output from tests 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.) -- 819446: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819446 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: acl2 Version: 7.1dfsg-2 Tags: patch Dear maintainer: I was going to report a FTBFS bug against this package, but the build log does not help at all to determine what went wrong. The debian/rules file seems to hide deliberately the output of the tests. This is normally undesirable and it is customary not to do that. If you are worried about large build logs, that would be a small price to pay for the ability to debug problems when things go wrong, which I believe is way more important. Suggested patch (untested) attached. Thanks.--- a/debian/rules +++ b/debian/rules @@ -98,16 +98,7 @@ debian/test.log: saved_acl2.c FINALDIR="/usr/share/$(PD)" \ HOME=$$(pwd) \ EXCLUDED_PREFIXES=centaur/tutorial/alu16-book \ - $(MAKE) -j $(NUMJOBS) -l 2.95 certify-books >$@ 2>&1 & j=$$! ; \ - while sleep 1800; do echo Tick; done & k=$$! ; tail -f debian/test.log & l=$$! ; \ - wait $$j ; kill $$k $$l - [ -f $@ ] && ! fgrep '**' $@ || (echo FULL TEST FAILS ;\ - for i in $$(find books -name "*.out"); do \ - if ! [ -e $${i%out}cert ] ; then \ - echo $$i ; \ - cat $$i ; \ - fi ; \ - done) + $(MAKE) -j $(NUMJOBS) -l 2.95 certify-books 2>&1 | tee $@ mv saved_acl2.ori saved_acl2 [ -f $@ ] && ( ! fgrep '**' $@ || \ gcl -batch -eval "(bye #-native-reloc 0 #+native-reloc (let ((w (multiple-value-bind (a b c d) (si::heap-report) (/ (- d c) (/ a 8))))) (format t \"certification run with ~s heap words~%\" w) (if (< w 500000000) 0 1)))")
--- End Message ---
--- Begin Message ---Source: acl2 Source-Version: 7.2dfsg-1 We believe that the bug you reported is fixed in the latest version of acl2, 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. Camm Maguire <[email protected]> (supplier of updated acl2 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: Wed, 13 Apr 2016 13:11:10 +0000 Source: acl2 Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc Architecture: source all amd64 Version: 7.2dfsg-1 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <[email protected]> Changed-By: Camm Maguire <[email protected]> Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific acl2-books-source - Computational Logic for Applicative Common Lisp: library sources acl2-doc - Computational Logic for Applicative Common Lisp: documentation acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface acl2-infix - Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source acl2-source - Computational Logic for Applicative Common Lisp: source files Closes: 819446 819447 Changes: acl2 (7.2dfsg-1) unstable; urgency=medium . * New upstream release * Bug fix: "Please do not hide the output from tests", thanks to Santiago Vila (Closes: #819446). * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)", thanks to Santiago Vila (Closes: #819447). Checksums-Sha1: 71f4921956e045b2e03d56639c378aeac397eedf 2231 acl2_7.2dfsg-1.dsc a2f974590abe4f4bdf9fe91f6696559c2a163090 64411749 acl2_7.2dfsg.orig.tar.gz 741e24250605adfe20d2344e60ecd0e2b6c41fc4 203672 acl2_7.2dfsg-1.debian.tar.xz ea0c4e6d84369bd918b173cf33d45dd96d5b9893 55100308 acl2-books-certs_7.2dfsg-1_all.deb c4327b1e0ea0eb7b0d0f9e961239bb6ea0580254 10755098 acl2-books-source_7.2dfsg-1_all.deb d3fe34c9d164fabecd5f3285980792cb4aab833f 107453688 acl2-books_7.2dfsg-1_amd64.deb bc1a8ae1e2480bcee7fc79d8a18ea4b29eafd169 381376 acl2-doc_7.2dfsg-1_all.deb 9f696d870987b4fad84845964d67a712412c49b6 64018 acl2-emacs_7.2dfsg-1_all.deb 07a4735ca69d4b26ab2e45bbaa6370bbc900594d 78604 acl2-infix-source_7.2dfsg-1_all.deb d934f223589ffa26a5e236bbed19e5c8ef739fe8 408910 acl2-infix_7.2dfsg-1_amd64.deb af27d07a216463854525b9d8947df544e02b1b11 2882768 acl2-source_7.2dfsg-1_all.deb 2d1c17c234c4b8be37a81f4fb9f48a1ed27ede60 17868918 acl2_7.2dfsg-1_amd64.deb Checksums-Sha256: 01099321864a066dd19b980d38897760486a7c7e5584dcbae363b716ca369fda 2231 acl2_7.2dfsg-1.dsc f54c3a3ee8583a121b23ea40ac18258d10e9c11e13795665c63c8cdca762655e 64411749 acl2_7.2dfsg.orig.tar.gz 23ba0cd0d89466220f364ff8b0700f7a7b144e5304b27a1fd014cdba0d7d0b82 203672 acl2_7.2dfsg-1.debian.tar.xz 7e740451a144f5143a6c0ce1950e9ab128e73fdb7ef22b85bdffffba394fec2b 55100308 acl2-books-certs_7.2dfsg-1_all.deb ed03153a33479ecaf634752fa9f448231c509238f8e56faf7f342137689e5292 10755098 acl2-books-source_7.2dfsg-1_all.deb f9b7fac81644ad70c158a118f53d8c9a908ef573ea79710d7247fff2188ae706 107453688 acl2-books_7.2dfsg-1_amd64.deb dfd89e52c006d828d8ad6a8a13831f974c6f3e5a2548719b4351356a93b51560 381376 acl2-doc_7.2dfsg-1_all.deb b0c49b35f4accdc9259802d99f50c61757028eaac3110bc31670accff4f53d50 64018 acl2-emacs_7.2dfsg-1_all.deb b0e6c9be149e9dc4848b0c45894509393ee852deb70b315665ef7520859c0176 78604 acl2-infix-source_7.2dfsg-1_all.deb 08619ed8b0752b36fed3419fa06ec49bb01a6c42b3e3683e3c876a4b041e5b16 408910 acl2-infix_7.2dfsg-1_amd64.deb d9012be815a7bd0bf19f3da0a4a8b8157205bc785e3a8350d2055a0cbd2b4ff5 2882768 acl2-source_7.2dfsg-1_all.deb 9f6f5c0f4443b7969ee605c237ca2e0592a1830094a63b256f1fb9e90a1da0ef 17868918 acl2_7.2dfsg-1_amd64.deb Files: d94e878a1afa1820b01b95b10e1ad9f6 2231 math optional acl2_7.2dfsg-1.dsc 980a131dd4ad821b899fe2c4bbedc56d 64411749 math optional acl2_7.2dfsg.orig.tar.gz 37a09e549e55a70aec12890cc8579e85 203672 math optional acl2_7.2dfsg-1.debian.tar.xz 0fbd53df7bc5728412d0b4cb15dc06e6 55100308 math optional acl2-books-certs_7.2dfsg-1_all.deb 2961987fa545d5fef7cd64d3d7af9bca 10755098 math optional acl2-books-source_7.2dfsg-1_all.deb 34619bd2990dddb37851b59215e41322 107453688 math optional acl2-books_7.2dfsg-1_amd64.deb 03063c732b60fd071a25f457ed18a358 381376 doc optional acl2-doc_7.2dfsg-1_all.deb dda1bae1deb25cc8de402aa3590c642c 64018 math optional acl2-emacs_7.2dfsg-1_all.deb 7e6445abc241a4e27c15dc32e2443096 78604 math optional acl2-infix-source_7.2dfsg-1_all.deb 9bd0d0b024b45f6d7cc51267deed0577 408910 math optional acl2-infix_7.2dfsg-1_amd64.deb c24f34ef347041dab93e95d2ccde90a9 2882768 math optional acl2-source_7.2dfsg-1_all.deb bff63d261775c20119545da802b33f04 17868918 math optional acl2_7.2dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXD6AsAAoJELhFzlEPm3FN7RQP/3Db01GHhCWYB6JeIKmlYXSg 47pvFnfYgLcCIAnX+wcMQE/huhS+iNbLOikORwKqhgLrsAcp9qp/hFXb9HvP8knw lAko0Hk9ImS8KBoWzbDO9QLvWjm1iEJQALM/VXZN/zULO99nKyn7sypXCpln0JdB NFystMGWLANzfaKT+6z4KG7Nmo30gA2RWz674/gcngDY1rF2GlDAZpNA4ODvuznb IM0q8aMkOo+D5kKT+zi6MB8rt6fSSmXDQGg2f7UNP7fs23hpRmBZjAFyihz88Abl m9ACgFxzm4QE9mbUK1k8dxtdwpRikqUssMdv6aA8vxRX7eXFw9FFhKbo+LCTraPB JR+8PimYbjStK6n36vI7FdBnH2qfXiVSMq1kWPvVevSux0whcB1FSK7sXp1TiFri oA+yxoYF4UoOUJ77VwZT1EnmzwLweaI3NJw5iAamGOYyQH7nVNzimUdeXXPlb2Uq M78QY40PlZNnnPgUoKrbIoK8+FpMME4Jz8weNge2NP13YBX9toYUuggo9etBJPqo ZDBzMjBTSD6pFsp+xbshM3cQGCJemzQKOyaacxzY84GeOehuME+WovG+Qbj1AEFm 7jfP7/jFu6XNiKGqzaPSy8co12Xqd3ZqsPmb/hTuEQ0w7Qoz6DITJtd1KgIRmyp4 H45RgXjFoc9zTTuMiDMg =2cHF -----END PGP SIGNATURE-----
--- End Message ---
