From deb7433f54617f7a9ffad75a2514c7760a88b1d7 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 31 May 2022 11:23:33 -0700 Subject: [PATCH] Fix FindCaDiCaL script (#8838) This fixes issues with finding a system-installed cadical. Fixes #8836. --- cmake/FindCaDiCaL.cmake | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake index 09523eb39..f6be210fd 100644 --- a/cmake/FindCaDiCaL.cmake +++ b/cmake/FindCaDiCaL.cmake @@ -26,10 +26,10 @@ if(CaDiCaL_INCLUDE_DIR AND CaDiCaL_LIBRARIES) set(CaDiCaL_FOUND_SYSTEM TRUE) # Unfortunately it is not part of the headers - find_library(CaDiCaL_BINARY NAMES cadical) + find_program(CaDiCaL_BINARY NAMES cadical) if(CaDiCaL_BINARY) execute_process( - COMMAND ${CaDiCaL_BINARY} --version OUTPUT_VARIALE CaDiCaL_VERSION + COMMAND ${CaDiCaL_BINARY} --version OUTPUT_VARIABLE CaDiCaL_VERSION ) else() set(CaDiCaL_VERSION "") -- 2.30.2