CMakeLists.txt

cmake_minimum_required(VERSION 3.16)
project(fixpoint)
set (CMAKE_CXX_STANDARD 23)
set (CMAKE_EXPORT_COMPILE_COMMANDS ON)

find_package(PkgConfig)
find_package(Boost 1.74.0 REQUIRED COMPONENTS headers)
pkg_search_module(GLOG REQUIRED libglog IMPORTED_TARGET glog)
add_compile_options(-DGLOG_USE_GLOG_EXPORT)

include(etc/sanitizers.cmake)
add_compile_options(-march=znver2) # for AVX2

set(ABSL_PROPAGATE_CXX_STD ON)
set(ABSL_USE_SYSTEM_INCLUDES ON)
add_subdirectory(${PROJECT_SOURCE_DIR}/third-party/abseil-cpp)

add_subdirectory(${PROJECT_SOURCE_DIR}/third-party/BLAKE3/c)
include_directories(SYSTEM "${PROJECT_SOURCE_DIR}/third-party/BLAKE3/c")

include(ExternalProject)
ExternalProject_Add(applications
  SOURCE_DIR "${PROJECT_SOURCE_DIR}/applications"
  INSTALL_COMMAND cmake -E echo "Skipping applications install."
  BUILD_ALWAYS true
  )

include(etc/build_type.cmake)
add_compile_options(-Wall -Wpedantic -Werror -Wextra)
add_compile_options($<$<COMPILE_LANGUAGE:CXX>:-Weffc++>)
add_compile_options($<$<COMPILE_LANGUAGE:CXX>:-Wno-unqualified-std-cast-call>)
include(etc/clang_format.cmake)
include(etc/tests.cmake)

add_subdirectory(src)
add_subdirectory(testing)

# Doxygen documentation generation
add_subdirectory(docs)