diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9e2e7225..827148ad 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -28,6 +28,14 @@ else()
   set(SHARED_LIB_EXT "so")
 endif()
 
+if("${PONO_STATIC_EXEC}" STREQUAL "YES")
+  if(WIN32)
+    set(CMAKE_FIND_LIBRARY_SUFFIXES .lib .a)
+  else()
+    set(CMAKE_FIND_LIBRARY_SUFFIXES .a)
+  endif()
+endif()
+
 if (WITH_BOOLECTOR)
   set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DWITH_BOOLECTOR")
 endif()