Date: Sat, 29 Jun 2024 01:56:22 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 280044] math/cvc5: pkg-static: cvc5JavaTargets.cmake:No such file or directory Message-ID: <bug-280044-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D280044 Bug ID: 280044 Summary: math/cvc5: pkg-static: cvc5JavaTargets.cmake:No such file or directory Product: Ports & Packages Version: Latest Hardware: amd64 OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: yuri@freebsd.org Reporter: iron.udjin@gmail.com Assignee: yuri@freebsd.org Flags: maintainer-feedback?(yuri@freebsd.org) Attachment #251754 text/plain mime type: Created attachment 251754 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=3D251754&action= =3Dedit cvc5-1.1.2_1.log =3D=3D=3D> Building packages for cvc5-1.1.2_1 =3D=3D=3D> Building cvc5-1.1.2_1 pkg-static: Unable to access file /wrkdirs/usr/ports/math/cvc5/work/stage/usr/local/lib/cmake/cvc5/cvc5JavaTa= rgets.cmake:No such file or directory *** Error code 1 Stop. make: stopped in /usr/ports/math/cvc5 Please see attached poudriere log. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-280044-7788>