--- external/pufferfish/CMakeLists.txt.orig	2024-03-15 14:14:23 UTC
+++ external/pufferfish/CMakeLists.txt
@@ -15,12 +15,12 @@ if(NOT DEFINED USE_ARM)
 message("CC version: ${CC_VERSION}")
 
 if(NOT DEFINED USE_ARM)
-  if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(aarch64.*|AARCH64.*|arm64.*|ARM64.*)")
-    message("Detected 64-bit ARM host. Setting USE_ARM to true.")
-    set(USE_ARM TRUE)
-  else()
-    message("Detected non-ARM host. Setting USE_ARM to false.")
+  if(CMAKE_SYSTEM_PROCESSOR MATCHES "^(x86_64|amd64|AMD64|i[3-6]86)$")
+    message("Detected x86 host. Setting USE_ARM to false.")
     set(USE_ARM FALSE)
+  else()
+    message("Detected non-x86 host. Setting USE_ARM to true.")
+    set(USE_ARM TRUE)
   endif()
 endif()
 
@@ -135,7 +135,7 @@ set(OPT_FLAGS "-DHAVE_SIMDE;-D__STDC_FORMAT_MACROS;-DS
 
 
 set(OPT_FLAGS "-DHAVE_SIMDE;-D__STDC_FORMAT_MACROS;-DSTX_NO_STD_STRING_VIEW;-O3;-fPIC;-DNDEBUG;-funroll-loops;-ftree-vectorize;-fno-strict-aliasing")
-set(DEBUG_FLAGS "-DHAVE_SIMDE;-D__STDC_FORMAT_MACROS;-DSTX_NO_STD_STRING_VIEW;-pg;-g;-gstabs")
+set(DEBUG_FLAGS "-DHAVE_SIMDE;-D__STDC_FORMAT_MACROS;-DSTX_NO_STD_STRING_VIEW;-g")
 
 ##
 # OSX is strange (some might say, stupid in this regard).  Deal with it's quirkines here.
@@ -188,11 +188,6 @@ set(SHASUM ${CMAKE_CURRENT_SOURCE_DIR}/scripts/check_s
 ##
 set(SHASUM ${CMAKE_CURRENT_SOURCE_DIR}/scripts/check_shasum.sh)
 
-
-find_package(Jemalloc)
-if(JEMALLOC_FOUND)
-  include_directories(SYSTEM ${JEMALLOC_INCLUDE_DIRS})
-endif()
 
 if(DO_QUIET_MAKE)
   set(QUIET_MAKE "--silent")