[Bug 280044] math/cvc5: pkg-static: cvc5JavaTargets.cmake:No such file or directory

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 29 Jun 2024 01:56:22 UTC

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=280044

            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=251754&action=edit
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.

-- 
You are receiving this mail because:
You are the assignee for the bug.