find_package(GTest REQUIRED)

if (HOMCERT_BFV_SEAL)
	add_executable(test_bfv_seal bfv/bfv_seal.cpp)
	target_link_libraries(test_bfv_seal PRIVATE homcert GTest::GTest)
endif()