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 ---
