GitLab

Z3 is now required but there is no instructions on how to install it.

-- Parabix Revision: git-33257673
-- Found LLVM 6.0.0 in: /usr/lib/llvm-6.0/cmake
-- LLVM Version Integer: 60000
-- Boost version: 1.65.1
-- Found the following Boost libraries:
--   system
--   filesystem
--   iostreams
--   regex
-- Found Boost_LIBRARY_DIRS: /usr/lib/x86_64-linux-gnu
CMake Error at /usr/share/cmake-3.10/Modules/FindPackageHandleStandardArgs.cmake:137 (message):
  Could NOT find Z3 (missing: Z3_LIBRARIES Z3_INCLUDE_DIR) (found version
  "0.0.0")
Call Stack (most recent call first):
  /usr/share/cmake-3.10/Modules/FindPackageHandleStandardArgs.cmake:378 (_FPHSA_FAILURE_MESSAGE)
  cmake/FindZ3.cmake:106 (FIND_PACKAGE_HANDLE_STANDARD_ARGS)
  CMakeLists.txt:90 (find_package)


-- Configuring incomplete, errors occurred!
See also "/home/lperesde/Projects/parabix-devel/build/CMakeFiles/CMakeOutput.log".
See also "/home/lperesde/Projects/parabix-devel/build/CMakeFiles/CMakeError.log".
Makefile:1194: recipe for target 'cmake_check_build_system' failed
make: *** [cmake_check_build_system] Error 1