Bug 928095

Summary:	sci-mathematics/opensmt-2.5.2 fails to compile: Polynomial.h:183:15: error: no declaration matches long unsigned int PolynomialT<VarType>::size() const
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	CONFIRMED ---
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2024-03-29 07:53:39 UTC

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

Comment 1 Agostino Sarubbo gentoo-dev

2024-03-29 07:53:40 UTC

Created attachment 888968 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2024-03-29 07:53:41 UTC

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’