CMakeLists.txt

cmake_minimum_required(VERSION 3.15 FATAL_ERROR)

project(
  "cspc"
  VERSION 0.0
  LANGUAGES CXX)
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)

option(CSPC_BUILD_TESTS "Build tests" ON)
option(CSPC_BUILD_EXAMPLES "Build examples" ON)
option(CSPC_BUILD_PROFILER "Build profiler" ON)

add_subdirectory(external)

add_library(${PROJECT_NAME}
  "include/cspc/data_structures.hpp"
  "include/cspc/kissat.hpp"
  "include/cspc/minizinc.hpp"
  "include/cspc/algorithms.hpp"
  "include/cspc/encodings/common.hpp"
  "include/cspc/encodings/direct.hpp"
  "include/cspc/encodings/binary.hpp"
  "include/cspc/encodings/label_cover.hpp"

  "src/minizinc.cpp"
  "src/kissat.cpp"
  "src/encodings/common.cpp"
  "src/encodings/direct.cpp"
  "src/encodings/binary.cpp"
  "src/encodings/label_cover.cpp"
  "src/algorithms.cpp")
target_compile_features(${PROJECT_NAME} PUBLIC cxx_std_20)
set_property(TARGET ${PROJECT_NAME} PROPERTY CXX_STANDARD 20)
target_compile_options(${PROJECT_NAME} PRIVATE
  -Wall
  -Wextra
  -Wpedantic
  $<$<CONFIG:Debug>:-g>
  $<$<CONFIG:Release>:-O3>)
target_include_directories(${PROJECT_NAME} PUBLIC
  "include/"
)
target_link_libraries(${PROJECT_NAME} 
  external_fmt
  external_spdlog
  external_kissat
  external_gautil
  ${CMAKE_THREAD_LIBS_INIT}
)

if (CSPC_BUILD_TESTS)
  add_subdirectory(tests)
endif()

if (CSPC_BUILD_EXAMPLES)
  add_subdirectory(examples)
endif()

if (CSPC_BUILD_PROFILER)
  add_subdirectory(profiler)
endif()