# Copyright (c) 2026, Jeffrey P. Machado and Larry Lesyna.
# All rights reserved.
#
# Use of this source code is governed by the BSD 3-Clause License
# that can be found in the LICENSE file in the project root.
#
# SPDX-License-Identifier: BSD-3-Clause

cmake_minimum_required(VERSION 3.14.0)
project(proofcheck VERSION 1.0)

find_package(Threads REQUIRED)

set(CMAKE_CXX_STANDARD 17)
set(CMAKE_CXX_STANDARD_REQUIRED ON)

set(SIDESTEP_DIR "${CMAKE_CURRENT_SOURCE_DIR}/sidestep")

add_executable(proofcheck
  verify.cpp
  ${SIDESTEP_DIR}/sidestep.cpp
  ${SIDESTEP_DIR}/terms.cpp
  ${SIDESTEP_DIR}/unify.cpp
  ${SIDESTEP_DIR}/parse.cpp
  ${SIDESTEP_DIR}/rules.cpp
  ${SIDESTEP_DIR}/sat.cpp)

target_include_directories(proofcheck PRIVATE ${SIDESTEP_DIR})
target_link_libraries(proofcheck Threads::Threads)

set_target_properties(proofcheck PROPERTIES
  CXX_STANDARD 17
  CXX_STANDARD_REQUIRED ON)
