projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 204d645) | patch
Fix CaDiCaL build on Windows (#6764)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 18 Jun 2021 02:22:19 +0000 (19:22 -0700)
committerGitHub <noreply@github.com>
Fri, 18 Jun 2021 02:22:19 +0000 (02:22 +0000)
commitc3950d941da9753d2fb56eafa07be73a1a2ba500
tree2f4df33c94d8473d0877f895e4617ba7e1fe1e20tree
parent204d645e97bbacd948b5777b704f7b418577610acommit | diff
Fix CaDiCaL build on Windows (#6764)

The Windows version of CaDiCaL does not require the `sys/resource.h`
file, so this commit removes that check. It does, however, require
linking against the Process Status API (psapi), because of a call to
`GetProcessMemoryInfo()`, so this commit adds that dependency for
Windows builds.
cmake/FindCaDiCaL.cmake diff | blob | history