From c19ec664b8ca5062ef8198d2fd4bd5b3a3a985b1 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 29 Apr 2015 16:31:03 -0700
Subject: [PATCH] feat(CMakeLists): add flag suggested by Soonho

closes #557
---
 src/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index f04e7cc36d..b41484400a 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -88,6 +88,9 @@ endif()
 
 if("${STATIC}" MATCHES "ON")
   message(STATUS "Creating a static executable")
+  if (${CMAKE_SYSTEM_NAME} MATCHES "Linux")
+    set(LEAN_EXTRA_LINKER_FLAGS "${LEAN_EXTRA_LINKER_FLAGS} -Wl,--whole-archive -lpthread -Wl,--no-whole-archive")
+  endif()
   set(LEAN_EXTRA_LINKER_FLAGS "${LEAN_EXTRA_LINKER_FLAGS} -static")
 endif()