diff --git a/CMakeLists.txt b/CMakeLists.txt
index c7349f35b2770e0c72c3bc6dc69d2c5015876bf8..22aacc1173639df1f065fcc41ada06372bc48f7c 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1161,8 +1161,11 @@ endif(WIN32 OR CYGWIN)
 # (e.g. "make lib" or "make shared" followed by "make install/fast")
 install(TARGETS gmsh DESTINATION ${GMSH_BIN} OPTIONAL)
 if(ENABLE_BUILD_LIB)
-  install(TARGETS lib shared DESTINATION lib OPTIONAL)
+  install(TARGETS lib DESTINATION lib OPTIONAL)
 endif(ENABLE_BUILD_LIB)
+if(ENABLE_BUILD_SHARED)
+  install(TARGETS shared DESTINATION lib OPTIONAL)
+endif(ENABLE_BUILD_SHARED)
 install(FILES ${GMSH_API} DESTINATION include/gmsh)
 install(FILES ${WELCOME_FILE} DESTINATION ${GMSH_DOC} RENAME README.txt)
 install(FILES ${LICENSE_FILE} DESTINATION ${GMSH_DOC})