From 5755f68eb158b1a8a120c8f8d91edcbf5057f326 Mon Sep 17 00:00:00 2001
From: AshAnand34 <aashishanand2019@gmail.com>
Date: Thu, 15 May 2025 15:58:16 -0700
Subject: [PATCH] Add AVX support check for x86_64 architecture in
 MpcOptions.cmake

---
 cmake/MpcOptions.cmake | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/cmake/MpcOptions.cmake b/cmake/MpcOptions.cmake
index 0fe3e1bf7..cac0c9d33 100644
--- a/cmake/MpcOptions.cmake
+++ b/cmake/MpcOptions.cmake
@@ -72,8 +72,12 @@ option(MUJOCO_ENABLE_RPATH "Enable RPath support when installing Mujoco." ON)
 mark_as_advanced(MUJOCO_ENABLE_RPATH)
 
 if(MUJOCO_ENABLE_AVX)
-  include(CheckAvxSupport)
-  get_avx_compile_options(AVX_COMPILE_OPTIONS)
+  if(CMAKE_SYSTEM_PROCESSOR MATCHES "x86_64|AMD64")
+    include(CheckAvxSupport)
+    get_avx_compile_options(AVX_COMPILE_OPTIONS)
+  else()
+    set(AVX_COMPILE_OPTIONS)
+  endif()
 else()
   set(AVX_COMPILE_OPTIONS)
 endif()