From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Sat, 24 Jul 2021 00:06:51 +0000 (-0700)
Subject: Fix CLN build (#6920)
X-Git-Tag: cvc5-1.0.0~1458
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=697fbbf41621a30c21408f1edeba87f9064ab7de;p=cvc5.git

Fix CLN build (#6920)

Currently, the CLN `CONFIGURE_COMMAND` chains multiple commands using
`&&` but this does not seem to work with CMake 3.20.4 and CMake 3.19.7
and is also not the recommended way of doing it. The commit fixes the
issue by using additional `COMMAND`s and also switches to using the
CMake's `chdir` instead of `cd`.
---

diff --git a/cmake/FindCLN.cmake b/cmake/FindCLN.cmake
index b5b37ec59..e802da2ef 100644
--- a/cmake/FindCLN.cmake
+++ b/cmake/FindCLN.cmake
@@ -58,7 +58,10 @@ if(NOT CLN_FOUND_SYSTEM)
     URL "https://www.ginac.de/CLN/cln.git/?p=cln.git\\\;a=snapshot\\\;h=cln_${CLN_TAG}\\\;sf=tgz"
     URL_HASH SHA1=71d02b90ef0575f06b7bafb8690f73e8064d8228
     DOWNLOAD_NAME cln.tgz
-    CONFIGURE_COMMAND cd <SOURCE_DIR> && ./autogen.sh && autoreconf -iv
+    CONFIGURE_COMMAND
+      ${CMAKE_COMMAND} -E chdir <SOURCE_DIR> ./autogen.sh
+    COMMAND
+      ${CMAKE_COMMAND} -E chdir <SOURCE_DIR> autoreconf -iv
     COMMAND <SOURCE_DIR>/configure --prefix=<INSTALL_DIR> --disable-shared
             --enable-static --with-pic
     BUILD_BYPRODUCTS <INSTALL_DIR>/lib/libcln.a