diff options
author | Frank Busse <bb0xfb@gmail.com> | 2021-12-15 16:38:21 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-17 22:59:26 +0000 |
commit | 0f45ab7a5008bd5e68201449bd1e0a999f999457 (patch) | |
tree | 585d30a6d2cd9c2ee6c31240a86d034f10d564bb /test/CMakeLists.txt | |
parent | d8553f3cec042b5af9e21c268cb14ee8f7b30083 (diff) | |
download | klee-0f45ab7a5008bd5e68201449bd1e0a999f999457.tar.gz |
remove LLVM < 6 from build/test scripts
Diffstat (limited to 'test/CMakeLists.txt')
-rw-r--r-- | test/CMakeLists.txt | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 2a968333..a62347c1 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -75,11 +75,7 @@ endif() set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${KLEE_TOOLS_DIR}/testtools) if (DOWNLOAD_FILECHECK_SOURCE) - if (${LLVM_VERSION_MAJOR} GREATER 3) - set(FILECHECK_SRC_URL "https://raw.githubusercontent.com/llvm/llvm-project/release/${LLVM_VERSION_MAJOR}.x/llvm/utils/FileCheck/FileCheck.cpp") - else() - set(FILECHECK_SRC_URL "https://raw.githubusercontent.com/llvm/llvm-project/release/${LLVM_VERSION_MAJOR}.${LLVM_VERSION_MINOR}.x/llvm/utils/FileCheck/FileCheck.cpp") - endif() + set(FILECHECK_SRC_URL "https://raw.githubusercontent.com/llvm/llvm-project/release/${LLVM_VERSION_MAJOR}.x/llvm/utils/FileCheck/FileCheck.cpp") set(FILECHECK_SRC_FILE "${CMAKE_CURRENT_BINARY_DIR}/FileCheck.cpp") if (NOT EXISTS "${FILECHECK_SRC_FILE}") message(STATUS "Downloading LLVM FileCheck source") @@ -102,11 +98,7 @@ if (DOWNLOAD_FILECHECK_SOURCE) endif() if (DOWNLOAD_NOT_SOURCE) - if (${LLVM_VERSION_MAJOR} GREATER 3) - set(NOT_SRC_URL "https://raw.githubusercontent.com/llvm/llvm-project/release/${LLVM_VERSION_MAJOR}.x/llvm/utils/not/not.cpp") - else() - set(NOT_SRC_URL "https://raw.githubusercontent.com/llvm/llvm-project/release/${LLVM_VERSION_MAJOR}.${LLVM_VERSION_MINOR}.x/llvm/utils/not/not.cpp") - endif() + set(NOT_SRC_URL "https://raw.githubusercontent.com/llvm/llvm-project/release/${LLVM_VERSION_MAJOR}.x/llvm/utils/not/not.cpp") set(NOT_SRC_FILE "${CMAKE_CURRENT_BINARY_DIR}/not.cpp") if (NOT EXISTS "${NOT_SRC_FILE}") message(STATUS "Downloading LLVM not source") |