diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 33cac3ee2d..4d9c09d0d2 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -488,7 +488,7 @@ if (NOT("${CROSS_COMPILE}" MATCHES "ON"))
     target_link_libraries(leanshared leanstatic)
     install(TARGETS leanshared DESTINATION lib)
   endif()
-  install(FILES libleanstatic.a DESTINATION lib)
+  install(TARGETS leanstatic DESTINATION lib)
 endif()
 
 add_subdirectory(shell)