cmake_minimum_required(VERSION 3.16)
project(gmpfrxx_mkii_installed_smoke LANGUAGES CXX)

find_package(gmpfrxx_mkII 1.5.0 EXACT CONFIG REQUIRED)

add_executable(gmpfrxx-mpc-log2-smoke smoke.cpp)
target_link_libraries(gmpfrxx-mpc-log2-smoke PRIVATE
    gmpfrxx_mkII::gmpfrxx_mkII
    gmpxx_mkII::default_context_provider
)
