From 6a74eb54d9a171da6a215c41208b0cce0f423529 Mon Sep 17 00:00:00 2001 From: Ahmad Nawab Date: Mon, 6 May 2024 09:29:17 +0200 Subject: [PATCH] FCKIT: only add fckit definitions if option is enabled --- src/fiat/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/fiat/CMakeLists.txt b/src/fiat/CMakeLists.txt index 6c32956..1b8d268 100644 --- a/src/fiat/CMakeLists.txt +++ b/src/fiat/CMakeLists.txt @@ -8,7 +8,7 @@ ### Assemble list of definitions -if( TARGET fckit ) +if( HAVE_FCKIT ) list( APPEND FIAT_DEFINITIONS WITH_FCKIT ) endif()