1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
|
# Boolector: Satisfiablity Modulo Theories (SMT) solver.
#
# Copyright (C) 2007-2021 by the authors listed in the AUTHORS file.
#
# This file is part of Boolector.
# See COPYING for more information on using this software.
#
# Find GTest
#
# GTest_FOUND - Found GTest
# GTest::GTest - GTest library
find_package(GTest 1.12.1)
if(NOT GTest_FOUND OR NOT TARGET GTest::gtest_main)
include(ExternalProject)
set(GTest_VERSION "1.12.1")
ExternalProject_Add(
GTest-EP
PREFIX "${CMAKE_BINARY_DIR}/deps"
URL https://github.com/google/googletest/archive/refs/tags/release-${GTest_VERSION}.tar.gz
URL_HASH SHA1=cdddd449d4e3aa7bd421d4519c17139ea1890fe7
DOWNLOAD_NAME gtest.tar.gz
CMAKE_ARGS
-DCMAKE_INSTALL_PREFIX=<INSTALL_DIR>
BUILD_COMMAND ${CMAKE_COMMAND} --build . --target gtest --target gtest_main
BUILD_BYPRODUCTS
<INSTALL_DIR>/lib/libgtest.a
<INSTALL_DIR>/lib/libgtest_main.a
LOG_DOWNLOAD ON
LOG_UPDATE ON
LOG_CONFIGURE ON
LOG_BUILD ON
LOG_INSTALL ON
LOG_OUTPUT_ON_FAILURE TRUE
)
set(GTest_INCLUDE_DIR "${CMAKE_BINARY_DIR}/deps/include/")
set(GTest_MAIN_LIBRARY "${CMAKE_BINARY_DIR}/deps/lib/libgtest_main.a")
set(GTest_LIBRARY "${CMAKE_BINARY_DIR}/deps/lib/libgtest.a")
file(MAKE_DIRECTORY "${GTest_INCLUDE_DIR}")
add_library(GTest::gtest_main STATIC IMPORTED GLOBAL)
set_target_properties(GTest::gtest_main
PROPERTIES
IMPORTED_LOCATION "${GTest_MAIN_LIBRARY}"
INTERFACE_INCLUDE_DIRECTORIES "${GTest_INCLUDE_DIR}"
INTERFACE_LINK_LIBRARIES "${GTest_LIBRARY}"
)
set(GTest_FOUND TRUE)
add_dependencies(GTest::gtest_main GTest-EP)
message(STATUS "Building GTest ${GTest_VERSION}: ${GTest_MAIN_LIBRARY}")
mark_as_advanced(GTest_FOUND)
mark_as_advanced(GTest_INCLUDE_DIR)
mark_as_advanced(GTest_LIBRARIES)
endif()
|