chore: debug

leanprover · Jan 13, 2025 · cf0516f · cf0516f
1 parent 1104f55
commit cf0516f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/cmake/Modules/FindLibUV.cmake b/src/cmake/Modules/FindLibUV.cmake
@@ -3,6 +3,7 @@ if (LIBUV_FOUND)
   set(LIBUV_FIND_QUIETLY TRUE)
 endif (LIBUV_FOUND)
 
+MESSAGE(STATUS "pkg-config binary:" ${PKG_CONFIG_EXECUTABLE})
 find_package(PkgConfig REQUIRED)
 pkg_search_module(LIBUV REQUIRED libuv)
 MESSAGE(STATUS "LIBUV_LDFLAGS: " ${LIBUV_LDFLAGS})

diff --git a/stage0/src/cmake/Modules/FindLibUV.cmake b/stage0/src/cmake/Modules/FindLibUV.cmake