Amazon Graviton 3 has arm8.4a but 'nodotprod'

official-stockfish · Mar 20, 2023 · 624bda2 · 624bda2
1 parent 959238b
commit 624bda2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/worker/games.py b/worker/games.py
@@ -544,6 +544,7 @@ def find_arch(compiler):
         elif (
             "armv8" in props["arch"]
             and "dotprod" in props["arch"]
+            and not ("nodotprod" in props["arch"])
         ):
             arch = "armv8-dotprod"
         elif (