From dd86e8f7d2015b0c025d1070a3fb6f7523f9bafe Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 19 Aug 2012 06:44:09 +0000
Subject: [PATCH]

---
 CMakeLists.txt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c7349f35b2..22aacc1173 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})
-- 
GitLab