Your message dated Wed, 11 May 2016 22:42:53 +0000 with message-id <e1b0cqd-00012h...@franck.debian.org> and subject line Bug#823809: fixed in yosys 0.6-6 has caused the Debian Bug report #823809, regarding yosys: FTBFS in testing 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 ow...@bugs.debian.org immediately.) -- 823809: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=823809 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: yosys Version: 0.6-5 Severity: serious Dear maintainer: This package fails to build from source in stretch: ---------------------------------------------------------------------------- frontends/ast/ast.cc: In member function 'Yosys::RTLIL::Const Yosys::AST::AstNode::realAsConst(int)': frontends/ast/ast.cc:860:17: error: 'isfinite' was not declared in this scope if (!isfinite(v)) { ^ frontends/ast/ast.cc:860:17: note: suggested alternative: In file included from /usr/include/c++/5/random:38:0, from /usr/include/c++/5/bits/stl_algo.h:66, from /usr/include/c++/5/algorithm:62, from ./kernel/yosys.h:47, from frontends/ast/ast.cc:29: /usr/include/c++/5/cmath:601:5: note: 'std::isfinite' isfinite(_Tp __x) ^ Makefile:340: recipe for target 'frontends/ast/ast.o' failed ---------------------------------------------------------------------------- The error seems related to #822408. Note: If you need some -dev package which is only available in unstable for now, consider using a versioned build-depends. This will not prevent the package from propagating to testing but at least everybody will know why it does not build. The full build log is attached. Thanks.yosys_0.6-5_amd64-20160509-1144.gz
Description: application/gzip
--- End Message ---
--- Begin Message ---Source: yosys Source-Version: 0.6-6 We believe that the bug you reported is fixed in the latest version of yosys, 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 823...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ruben Undheim <ruben.undh...@gmail.com> (supplier of updated yosys 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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 11 May 2016 22:20:00 +0200 Source: yosys Binary: yosys yosys-dev yosys-doc Architecture: source Version: 0.6-6 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Ruben Undheim <ruben.undh...@gmail.com> Description: yosys - Framework for Verilog RTL synthesis yosys-dev - Framework for Verilog RTL synthesis (development files) yosys-doc - Documentation for Yosys Closes: 823809 Changes: yosys (0.6-6) unstable; urgency=medium . * Added versioned build-dependency on gcc-5 (>= 5.3.1-15) since it now fails to build with older versions due to the fix for #822408. (Closes: #823809) * Updated Standards to 3.9.8 - no changes Checksums-Sha1: b5ab988f2383b6c2687476428bc2b4febc1fa217 2457 yosys_0.6-6.dsc d44205fc3b8f4f67365efb8ff10e5c06976362ce 13016 yosys_0.6-6.debian.tar.xz Checksums-Sha256: e8a2935397b0f1943b77a72f51ca6913e3f7de862789d222aa08a54608668e37 2457 yosys_0.6-6.dsc 87a6b25bd5d98760750486162dc682ca7e030d9819bf590999e8167d9245ae44 13016 yosys_0.6-6.debian.tar.xz Files: 313c7d940afecccd24ba1cf6a257fcb9 2457 electronics optional yosys_0.6-6.dsc ab0e6bdff767fa443a828c3813fba59e 13016 electronics optional yosys_0.6-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXM5W1AAoJEPxqH2TRCNERfLsQAN1iCSyp2tGm7v/6ylGPIoFk xlYQNz/GUD9nAXDHLczY3G5xvFu+8BZrPMx+lVTVJ1WI3Vg2WgjKD0t9K6GjdmWn V2VMwx6wFz4UlDSwJYpBaRyTYj0GqMvtp9nDT4ZEi7C5AjSrIXbjgrwH/wzLkud3 H3sxltgiIrQrbPk4E/7GAaTo7E6KCGjY9ZUmR2tT0h/3amfzVt0S2dAjQlnar8un 24zh4ndufPHTOv0GWrY97eYWU4sT7ysd8lewUycSZ3lFrhebIk/hYSMZy29Xo2rm KXHpswmGE7nb/BiSJCxvqJB1dCQ+am9nruORyuvll+kiRjEeMc5T+aJLKdv7Mh7Q MEMyu1CVx+qZX1D5RKL3HBXr011D86MJHAC2UA2dE5bAMfScwwnX+2b+3kmhjOKv DnjDDG1QbuXICJyLWkvxbOL0D9wWUkx9IIXnyFYjceTqk8vBJyVQTfr2eqLQdHsi /L/Kty+wlhyHTxqOu+NHbY40EyfUjSaJeS8e2mnSRCuQPbJtVVSUMlfM4uU0gXsN sRF933wSQ9kEbnNVoRAZAVbZ1OSkqRJHZj+ABtIxxhACrOzARSfgSP6Ux8igvaUF g9FZp4/PN9XKMtkdlVQw977A+JJjolkJZXBhOC3TIpb/+oqQtaH6B7t2zirj6iA8 4i2nhQbe+Q+8sEWXOn+b =ptR8 -----END PGP SIGNATURE-----
--- End Message ---