File fix-lib-install-dir.patch of Package lean4

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 7ba380fc0b..bc3cf0189b 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -588,7 +588,7 @@ add_custom_target(clean-stdlib
 add_custom_target(clean-olean
   DEPENDS clean-stdlib)
 
-install(DIRECTORY "${CMAKE_BINARY_DIR}/lib/" DESTINATION lib
+install(DIRECTORY "${CMAKE_BINARY_DIR}/lib/" DESTINATION "${CMAKE_INSTALL_LIBDIR}"
   PATTERN temp EXCLUDE)
 
 # symlink source into expected installation location for go-to-definition, if file system allows it