Bug#823809: yosys: FTBFS in testing

[Santiago Vila]

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: yosys_0.6-5_amd64-20160509-1144.gz
Type: application/gzip
Size: 18033 bytes
Desc: 
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20160509/052daccd/attachment-0001.bin>