[Bug 216080] science/bddsolve: fails to build with libc++ 4.0

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=216080

            Bug ID: 216080
           Summary: science/bddsolve: fails to build with libc++ 4.0
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Keywords: needs-patch
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: ed at FreeBSD.org
          Reporter: jbeich at FreeBSD.org
            Blocks: 216008
             Flags: maintainer-feedback?(ed at FreeBSD.org)
          Assignee: ed at FreeBSD.org

In file included from src/bddsolve.cpp:30:
include/sat/reach.h:25:10: error: no
      viable conversion from returned value of type 'std::ifstream' (aka
'basic_ifstream<char>') to
      function return type 'bool'
  return (from);
         ^~~~~~

build log: http://sprunge.us/TSfH
regressed by: https://github.com/llvm-mirror/libcxx/commit/3a1b90a866b6


Referenced Bugs:

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=216008
[Bug 216008] [exp-run] Update llvm/clang/compiler-rt/libc++/lld/lldb in base to
4.0.0
-- 
You are receiving this mail because:
You are the assignee for the bug.