On 2021/05/01 09:40, Stuart Henderson wrote: > On 2021/04/30 13:08, Todd C. Miller wrote: > > On Fri, 30 Apr 2021 08:42:03 -0600, "Todd C. Miller" wrote: > > > > > This is due to a change in bison where it now includes the generated > > > header file. Using --defines=foo.h instead of just -d fixes that > > > problem, though you'd also need to comment out the bit that used > > > to move the header file around. With that fixed, devel/cbmc compiles > > > for me. The latest cbmc already includes those fixes. > > > > Here's a diff for devel/cbmc to fix compilation with the updated > > bison once textstyle is disabled. > > That looks good. > > Short on time today but here are the other failures from my test build, > the ones I looked are seem likely due to filename changes.
These were unrelated breakage: > emulators/ppsspp > graphics/birdfont > lang/sbcl > net/nextcloudclient Your fix is ok: > devel/cbmc Fixing/Fixed: > x11/qt5/qtwebkit (committed) > devel/electron (testing) Remaining: > devel/splint seems still broken upstream; https://github.com/splintchecker/splint/issues/20 > lang/verilator - probably just wants updating, there are several commits in https://github.com/verilator/verilator/search?q=bison&type=commits > net/olsrd,-gui - https://github.com/OLSR/olsrd/pull/87