Fix make & cmake build errors on Arch Linux
#308
Conversation
analyzer/CMakeLists.txt
Outdated
| @@ -119,7 +119,7 @@ include_directories(${AR_INCLUDE_DIR}) | |||
| find_package(FrontendLLVM REQUIRED) | |||
| include_directories(${FRONTEND_LLVM_INCLUDE_DIR}) | |||
|
|
|||
| find_package(LLVM 14.0.0...<15.0.0 REQUIRED HINTS '/usr/lib/llvm14/lib/cmake/llvm') | |||
| find_package(LLVM 14.0.0...<15.0.0 REQUIRED) | |||
There was a problem hiding this comment.
Unfortunately, it seems like version ranges in find_package are only available since CMake 3.19:
https://cmake.org/cmake/help/latest/command/find_package.html#basic-signature
We currently support cmake 3.4.3 and above, as specified by cmake_minimum_required:
https://github.com/NASA-SW-VnV/ikos/blob/master/analyzer/CMakeLists.txt#L41
We could potentially increase that, although there might be people depending on lower versions.
We could also have two versions of the find_package call depending on the cmake version.
There was a problem hiding this comment.
Removed version ranges in 5ab5b3a.
It looks like they were redundant, as FindLLVM.cmake returns the first LLVM version it finds, and it always begins it's search by looking for llvm-config-14.
Fixes #307
Currently still being worked on.
cmakemake