diff --git a/CMakeLists.txt b/CMakeLists.txt
index 36ad01cb5..4ca6fdc1e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -374,17 +374,16 @@ endif()
 # Position independent code
 ################################################################################
 # This is required because code built in the components will end up in a shared
-# library. If not building a shared library ``-fPIC`` isn't needed and would add
-# unnecessary overhead.
-if (Z3_BUILD_LIBZ3_SHARED)
-  # Avoid adding -fPIC compiler switch if we compile with MSVC (which does not
-  # support the flag) or if we target Windows, which generally does not use
-  # position independent code for native code shared libraries (DLLs).
-  if (NOT (MSVC OR MINGW OR WIN32))
-    z3_add_cxx_flag("-fPIC" REQUIRED)
-  endif()
+# library.
+
+# Avoid adding -fPIC compiler switch if we compile with MSVC (which does not
+# support the flag) or if we target Windows, which generally does not use
+# position independent code for native code shared libraries (DLLs).
+if (NOT (MSVC OR MINGW OR WIN32))
+  z3_add_cxx_flag("-fPIC" REQUIRED)
 endif()
 
+
 ################################################################################
 # Link time optimization
 ################################################################################