Reapply "please tell me about the files in src/lean, dear cmake"

This reverts commit 1d42d8b.

Author: mhuisi

src/CMakeLists.txt

@@ -798,11 +798,19 @@ install(DIRECTORY "${CMAKE_BINARY_DIR}/lib/" DESTINATION lib
 # symlink source into expected installation location for go-to-definition, if file system allows it
 file(MAKE_DIRECTORY ${CMAKE_BINARY_DIR}/src)
 if(${STAGE} EQUAL 0)
-  file(CREATE_LINK ${CMAKE_SOURCE_DIR}/../../src ${CMAKE_BINARY_DIR}/src/lean RESULT _IGNORE_RES SYMBOLIC)
+  file(CREATE_LINK ${CMAKE_SOURCE_DIR}/../../src ${CMAKE_BINARY_DIR}/src/lean RESULT CREATE_LINK_RESULT SYMBOLIC)
 else()
-  file(CREATE_LINK ${CMAKE_SOURCE_DIR} ${CMAKE_BINARY_DIR}/src/lean RESULT _IGNORE_RES SYMBOLIC)
+  file(CREATE_LINK ${CMAKE_SOURCE_DIR} ${CMAKE_BINARY_DIR}/src/lean RESULT CREATE_LINK_RESULT SYMBOLIC)
 endif()
 
+message(STATUS "Create link result: ${CREATE_LINK_RESULT}")
+
+file(GLOB_RECURSE SRC_LEAN_FILES "${CMAKE_BINARY_DIR}/src/lean/*")
+
+foreach(FILE ${SRC_LEAN_FILES})
+    message(STATUS "Found file: ${FILE}")
+endforeach()
+
 install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION src/lean
         FILES_MATCHING
         PATTERN "*.lean"