Bug 280044 - math/cvc5: pkg-static: cvc5JavaTargets.cmake:No such file or directory
Summary: math/cvc5: pkg-static: cvc5JavaTargets.cmake:No such file or directory
Status: New
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: amd64 Any
: --- Affects Only Me
Assignee: Yuri Victorovich
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-06-29 01:56 UTC by iron.udjin
Modified: 2024-06-29 01:56 UTC (History)
0 users

See Also:
bugzilla: maintainer-feedback? (yuri)

Attachments
cvc5-1.1.2_1.log (863.63 KB, text/plain)
2024-06-29 01:56 UTC, iron.udjin 		no flags Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description iron.udjin 2024-06-29 01:56:22 UTC 
Created attachment 251754 [details]
cvc5-1.1.2_1.log

===>  Building packages for cvc5-1.1.2_1
===>   Building cvc5-1.1.2_1
pkg-static: Unable to access file /wrkdirs/usr/ports/math/cvc5/work/stage/usr/local/lib/cmake/cvc5/cvc5JavaTargets.cmake:No such file or directory
*** Error code 1

Stop.
make: stopped in /usr/ports/math/cvc5

Please see attached poudriere log.