#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 6 years ago.

Download all attachments as: .zip

Change History (2)

Changed 6 years ago by Lukáš Zaoral

Attachment:	z3fedora.patch added

comment:1 Changed 6 years ago by mornfall

Resolution:	→ fixed
Status:	new → closed

I have applied your patch. Thanks!

Note: See TracTickets for help on using tickets.