From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Tue, 31 May 2022 18:23:33 +0000 (-0700)
Subject: Fix FindCaDiCaL script (#8838)
X-Git-Tag: cvc5-1.0.1~84
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=deb7433f54617f7a9ffad75a2514c7760a88b1d7;p=cvc5.git

Fix FindCaDiCaL script (#8838)

This fixes issues with finding a system-installed cadical.
Fixes #8836.
---

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 "")