From 1e854946252e7ee71381b484304a55531bada89a Mon Sep 17 00:00:00 2001 From: Laurynas Biveinis Date: Wed, 24 Mar 2021 06:23:45 +0200 Subject: [PATCH] DeepState added through CMake add_subdirectory experiment For now blocked by https://github.com/trailofbits/deepstate/issues/373 --- CMakeLists.txt | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 63d67163..ff09ae01 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -240,22 +240,7 @@ add_subdirectory(3rd_party/benchmark) # TODO(laurynas): fix DeepState and GCC compatibility if(NOT "${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU") - include(ExternalProject) - ExternalProject_Add(3rd_party_deepstate - SOURCE_DIR "${CMAKE_SOURCE_DIR}/3rd_party/deepstate" - BINARY_DIR "${CMAKE_BINARY_DIR}/3rd_party/deepstate" - CMAKE_ARGS "-DCMAKE_C_COMPILER=${CMAKE_C_COMPILER}" - "-DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER}" "-DCMAKE_C_FLAGS=-w" - "-DCMAKE_CXX_FLAGS=-w" - INSTALL_COMMAND "") - - add_library(deepstate STATIC IMPORTED) - - ExternalProject_Get_property(3rd_party_deepstate SOURCE_DIR) - target_include_directories(deepstate INTERFACE "${SOURCE_DIR}/src/include/") - ExternalProject_Get_property(3rd_party_deepstate BINARY_DIR) - set_target_properties(deepstate PROPERTIES IMPORTED_LOCATION - "${BINARY_DIR}/libdeepstate.a") + add_subdirectory(3rd_party/deepstate) endif() if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU"