From f2abb4720571cf4905ff9e8dbc5d0cec02b85c08 Mon Sep 17 00:00:00 2001
From: Kevin Laeufer <kevin.laeufer@rwth-aachen.de>
Date: Tue, 17 Jan 2017 15:37:26 -0800
Subject: [cmake] add PATH_SUFFIXES needed to find z3 on Fedora

---
 cmake/modules/FindZ3.cmake | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'cmake/modules')

diff --git a/cmake/modules/FindZ3.cmake b/cmake/modules/FindZ3.cmake
index b5f90974..999ed14e 100644
--- a/cmake/modules/FindZ3.cmake
+++ b/cmake/modules/FindZ3.cmake
@@ -20,6 +20,9 @@ endif()
 # Try to find headers
 find_path(Z3_INCLUDE_DIRS
   NAMES z3.h
+  # For distributions that keep the header files in a `z3` folder,
+  # for example Fedora's `z3-devel` package at `/usr/include/z3/z3.h`
+  PATH_SUFFIXES z3
   DOC "Z3 C header"
 )
 if (Z3_INCLUDE_DIRS)
-- 
cgit 1.4.1