Browse Source

Add support for Fedora's z3 package.

Fedora installs the z3 headers in /usr/include/z3, which was not being
detected by CMake.

Signed-off-by: dehnert <dehnert@cs.rwth-aachen.de>
tempestpy_adaptions
Enno Ruijters 7 years ago
committed by dehnert
parent
commit
66e1cf8bd6
  1. 2
      resources/cmake/find_modules/FindZ3.cmake

2
resources/cmake/find_modules/FindZ3.cmake

@ -10,7 +10,7 @@
# find include dir by searching for a concrete file, which definitely must be in it
find_path(Z3_INCLUDE_DIR
NAMES z3++.h
PATHS ENV PATH INCLUDE "/usr/local/include/z3/" "${Z3_ROOT}/include"
PATHS ENV PATH INCLUDE "/usr/include/z3" "/usr/local/include/z3/" "${Z3_ROOT}/include"
)
# find library

Loading…
Cancel
Save