Opened 5 years ago

Closed 5 years 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 5 years ago.

Download all attachments as: .zip

Change History (2)

Changed 5 years ago by Lukáš Zaoral

Attachment: z3fedora.patch​ added

comment:1 Changed 5 years ago by mornfall

Resolution: → fixed
Status: new → closed

I have applied your patch. Thanks!

Note: See TracTickets for help on using tickets.