From 62748ba4515a00b6e578519f6c09c63499c6413b Mon Sep 17 00:00:00 2001
From: Andras Fekete <andras@wolfssl.com>
Date: Wed, 22 Feb 2023 10:04:17 -0500
Subject: [PATCH] One more liboqs flag

---
 Docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Docker/Dockerfile b/Docker/Dockerfile
index 5b3e0fe50..7f79ebcac 100644
--- a/Docker/Dockerfile
+++ b/Docker/Dockerfile
@@ -16,6 +16,6 @@ RUN groupadd -f -g ${GID} docker && ( getent passwd ${UID} || useradd -ms /bin/b
 
 # install liboqs
 RUN git clone --single-branch https://github.com/open-quantum-safe/liboqs.git && cd liboqs && git checkout af76ca3b1f2fbc1f4f0967595f3bb07692fb3d82 \
-    && mkdir build && cd build && cmake -DOQS_DIST_BUILD=ON -DOQS_USE_OPENSSL=0 .. && make -j8 all && make install && cd ../.. && rm -rf liboqs
+    && mkdir build && cd build && cmake -DOQS_DIST_BUILD=ON -DOQS_USE_CPUFEATURE_INSTRUCTIONS=OFF -DOQS_USE_OPENSSL=0 .. && make -j8 all && make install && cd ../.. && rm -rf liboqs
 
 USER ${UID}:${GID}
\ No newline at end of file