diff --git a/CMakeLists.txt b/CMakeLists.txt
index 75501968016a05c73838e2c2da7146cabb2cf408..ce564250905b0d9f5e9159bfa473343360d450d6 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -29,7 +29,7 @@ set(SPOT_DIR "${CMAKE_BINARY_DIR}/third-party/spot")
 ExternalProject_Add(SpotLibrary
   PREFIX            ${SPOT_DIR}
   SOURCE_DIR        ${SPOT_SOURCE_DIR}
-  CONFIGURE_COMMAND autoreconf -if ${SPOT_SOURCE_DIR} && ${SPOT_SOURCE_DIR}/configure --disable-python --prefix=<INSTALL_DIR>
+  CONFIGURE_COMMAND autoreconf -if ${SPOT_SOURCE_DIR} && ${SPOT_SOURCE_DIR}/configure --disable-python --prefix=<INSTALL_DIR> --enable-static
   BUILD_COMMAND     make -j
 )
 include_directories("${SPOT_DIR}/include")
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 0acdaaad9fba2be280f795c80a5633e2a6e1ee83..2f27223ccf21036a6f7ba53785b85bcf7d745468 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -10,12 +10,12 @@ find_package(OpenSSL)
 include_directories(${OPENSSL_INCLUDE_DIR})
 
 # include spot library
-add_library(spot SHARED IMPORTED)
-set_target_properties(spot PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libspot.so")
+add_library(spot STATIC IMPORTED)
+set_target_properties(spot PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libspot.a")
 
 # include bddx library
-add_library(bddx SHARED IMPORTED)
-set_target_properties(bddx PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libbddx.so")
+add_library(bddx STATIC IMPORTED)
+set_target_properties(bddx PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libbddx.a")
 
 # Hybrid SOG executable
 add_executable(pmc-sog main.cpp