include Z3_INCLUDE_DIR, not Z3_INCLUDE_DIRS
MODIFY
CMakeLists.txt
CMakeLists.txt
@@ -31,7 +31,7 @@ if (CYGWIN)
endif()
find_package(Z3 4.8.1 REQUIRED)
-include_directories(${Z3_INCLUDE_DIRS})
+include_directories(${Z3_INCLUDE_DIR})
find_program(RE2C re2c)
message(STATUS "RE2C: ${RE2C}")

MODIFY
README.md
README.md
@@ -19,6 +19,9 @@ cmake ..
make
```
+If CMake cannot find the Z3 include directory (or finds the wrong one) pass
+the ``-DZ3_INCLUDE_DIR=/path/to/z3/include`` argument to CMake
+
Building and Running Translation Validation
--------

include Z3_INCLUDE_DIR, not Z3_INCLUDE_DIRS (#16)