On Tue, 11 May 2021 23:10:31 +0200, Christian Weisgerber wrote: > Stuart Henderson: > > > Updated diff below, there were some missing library deps and I've enabled > > building a debug package. My build is still running, so far I've run > > into errors in these which seem related: > > > > - devel/cbmc: repeatable bison segfault, seems related to curses/libtextsty > le. > > I can't reproduce this on amd64.
The crash does not happen when I build cbmc manually (outside of ports), only when I build it from within the ports tree. - todd