# CBMC only uses part of glucose.
# This CMakeLists is designed to build just the parts that are needed.

add_library(glucose-condensed
    simp/SimpSolver.cc
    core/Solver.cc
)

set_target_properties(
    glucose-condensed
    PROPERTIES
    CXX_STANDARD 11
    CXX_STANDARD_REQUIRED true
    XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY "Developer ID Application: Daniel Kroening"
)

if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
    target_compile_options(glucose-condensed PUBLIC /w)
endif()

target_include_directories(glucose-condensed
    PUBLIC
    ${CMAKE_CURRENT_SOURCE_DIR}
)

target_link_libraries(glucose-condensed util)
