projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1dfc522) | patch
Fix CLN build (#6920)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 24 Jul 2021 00:06:51 +0000 (17:06 -0700)
committerGitHub <noreply@github.com>
Sat, 24 Jul 2021 00:06:51 +0000 (00:06 +0000)
commit697fbbf41621a30c21408f1edeba87f9064ab7de
tree4fdbf71a995cfb32891010e09c8d03476016c502tree
parent1dfc52234354e8a88aeb2e0d05d83930fc434893commit | diff
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`.
cmake/FindCLN.cmake diff | blob | history