| Summary: | math/cvc5: pkg-static: cvc5JavaTargets.cmake:No such file or directory | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | iron.udjin | ||||
| Component: | Individual Port(s) | Assignee: | Yuri Victorovich <yuri> | ||||
| Status: | New --- | ||||||
| Severity: | Affects Only Me | Flags: | bugzilla:
maintainer-feedback?
(yuri) |
||||
| Priority: | --- | ||||||
| Version: | Latest | ||||||
| Hardware: | amd64 | ||||||
| OS: | Any | ||||||
| Attachments: |
|
||||||
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.