diff --git a/CMakeLists.txt b/CMakeLists.txt
index 80800d3385..8166ceb493 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -48,7 +48,7 @@ if(CMAKE_SYSTEM_PROCESSOR MATCHES "x86_64|amd64|AMD64")
     if(${OQS_DIST_BUILD})
         set(OQS_DIST_X86_64_BUILD ON)
     endif()
-elseif(CMAKE_SYSTEM_PROCESSOR MATCHES "i586|i686")
+elseif(CMAKE_SYSTEM_PROCESSOR MATCHES "x86|i586|i686")
     set(ARCH "i586")
     set(ARCH_X86 ON)
     if(${OQS_DIST_BUILD})