cmake_minimum_required(VERSION 3.16)

project(Verifier CXX)

# Specify the C++ standard
set(CMAKE_CXX_STANDARD 14)
set(CMAKE_CXX_STANDARD_REQUIRED True)

include(${CMAKE_SOURCE_DIR}/cmake/FindZ3.cmake)

message(STATUS "Z3_FOUND: ${Z3_FOUND}")
message(STATUS "Found Z3 ${Z3_VERSION_STRING}")
message(STATUS "Z3_DIR: ${Z3_DIR}")

include_directories(${PROJECT_SOURCE_DIR})
include_directories(${Z3_CXX_INCLUDE_DIRS})

set(SOURCES
    run_verify.cpp
    properties.cpp
    verifier.cpp
    )

add_executable(run_verify ${SOURCES})
target_link_libraries(run_verify ${Z3_LIBRARIES})