Error in installing clif

[poor1017]

I tried to install clif with "./install_clif.sh", but got this error:

`-- Constructing LLVMBuild project information -- Targeting X86 CMake Warning at tools/clang/CMakeLists.txt:189 (find_package): By not providing "FindZ3.cmake" in CMAKE_MODULE_PATH this project has asked CMake to find a package configuration file provided by "Z3", but CMake did not find one.

Could not find a package configuration file provided by "Z3" (requested version 4.5) with any of the following names:

Z3Config.cmake
z3-config.cmake

Add the installation prefix of "Z3" to CMAKE_PREFIX_PATH or set "Z3_DIR" to a directory containing one of the above files. If "Z3" provides a separate development package or SDK, be sure it has been installed.

-- Looking for sys/resource.h -- Looking for sys/resource.h - found -- Clang version: 5.0.0 -- Performing Test CXX_SUPPORTS_NO_NESTED_ANON_TYPES_FLAG -- Performing Test CXX_SUPPORTS_NO_NESTED_ANON_TYPES_FLAG - Failed CMake Error at tools/clang/CMakeLists.txt:336 (include): include could not find load file:

AddClang

CMake Error at tools/clang/include/clang/AST/CMakeLists.txt:1 (clang_tablegen): Unknown CMake command "clang_tablegen".

-- Configuring incomplete, errors occurred! `

[bmilde]

We have solved many issues with building process on newer systems. Can you please check if this is still an issue with the most recent version of PyKaldI? Thank you