Opened 8 months ago

Closed 8 months ago

#84 closed defect (fixed)

FindZ3.cmake fails on Fedora

Reported by: Lukáš Zaoral Owned by: mornfall
Priority: major Milestone: 4.3
Component: other Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…

Description

Hello, the FindZ3.cmake CMake module fails to find the Z3_LIBRARY_PATH on Fedora even though z3 is installed correctly. Reason is, that the z3 header files are in a separate directory of the same name. The enclosed patch fixes the issue. Thanks.

Attachments (1)

z3fedora.patch (460 bytes) - added by Lukáš Zaoral 8 months ago.

Download all attachments as: .zip

Change History (2)

Changed 8 months ago by Lukáš Zaoral

Attachment: z3fedora.patch added

comment:1 Changed 8 months ago by mornfall

Resolution: fixed
Status: newclosed

I have applied your patch. Thanks!

Note: See TracTickets for help on using tickets.