--- a/what4.cabal
+++ b/what4.cabal
@@ -353,6 +353,10 @@ test-suite expr-builder-smtlib2
     tasty-checklist >= 1.0.3 && < 1.1,
     text,
     versions
+  if arch(x86_64)
+    buildable: True
+  else
+    buildable: False
 
 
 test-suite exprs_tests
@@ -411,6 +415,10 @@ test-suite template_tests
   build-depends: bv-sized
                , libBF
                , transformers
+  if arch(x86_64)
+    buildable: True
+  else
+    buildable: False
 
 test-suite what4-serialize-tests
   default-language: Haskell2010
