# 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"
)

target_include_directories(glucose-condensed
    PUBLIC
    ${CMAKE_CURRENT_SOURCE_DIR}
)

target_link_libraries(glucose-condensed util)
