From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Fri, 18 Jun 2021 02:22:19 +0000 (-0700)
Subject: Fix CaDiCaL build on Windows (#6764)
X-Git-Tag: cvc5-1.0.0~1591
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c3950d941da9753d2fb56eafa07be73a1a2ba500;p=cvc5.git

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.
---

diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake
index 80fa2e4ec..0c095a529 100644
--- a/cmake/FindCaDiCaL.cmake
+++ b/cmake/FindCaDiCaL.cmake
@@ -47,8 +47,6 @@ if(NOT CaDiCaL_FOUND_SYSTEM)
   include(CheckSymbolExists)
   include(ExternalProject)
 
-  fail_if_include_missing("sys/resource.h" "CaDiCaL")
-
   set(CaDiCaL_VERSION "88623ef0866370448c34f6e320c148fc18e6f4cc")
 
   # avoid configure script and instantiate the makefile manually the configure
@@ -110,6 +108,16 @@ set_target_properties(
   CaDiCaL PROPERTIES INTERFACE_INCLUDE_DIRECTORIES "${CaDiCaL_INCLUDE_DIR}"
 )
 
+if (WIN32)
+  # The Windows version of CaDiCaL calls GetProcessMemoryInfo(), which is
+  # defined in the Process Status API (psapi), so we declare it as a dependency
+  # of the CaDiCaL library (without this, linking a static cvc5 executable
+  # fails).
+  set_target_properties(
+    CaDiCaL PROPERTIES IMPORTED_LINK_INTERFACE_LIBRARIES psapi
+  )
+endif ()
+
 mark_as_advanced(CaDiCaL_FOUND)
 mark_as_advanced(CaDiCaL_FOUND_SYSTEM)
 mark_as_advanced(CaDiCaL_INCLUDE_DIR)