https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/opensmt-2.5.2 fails to compile. Discovered on: x86 (internal ref: tinderbox_x86) System: GCC-14-SYSTEM (https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#GCC-14) Info about the issue: https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0003
Created attachment 888968 [details] build.log build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: FAILED: src/api/CMakeFiles/api.dir/MainSolver.cc.o FAILED: src/logics/CMakeFiles/logics.dir/ArithLogic.cc.o /var/tmp/portage/sci-mathematics/opensmt-2.5.2/work/opensmt-2.5.2/src/tsolvers/lasolver/Polynomial.h:183:15: error: no declaration matches ‘long unsigned int PolynomialT<VarType>::size() const’