arch: add gcc 13

devitocodes · Nov 1, 2023 · 8310cb3 · 8310cb3
1 parent 31a8728
commit 8310cb3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/devito/arch/compiler.py b/devito/arch/compiler.py
@@ -908,4 +908,5 @@ def __lookup_cmds__(self):
 DEVITO_ARCH. Developers should add new compiler classes here.
 """
 compiler_registry.update({'gcc-%s' % i: partial(GNUCompiler, suffix=i)
-                          for i in ['4.9', '5', '6', '7', '8', '9', '10', '11', '12']})
+                          for i in ['4.9', '5', '6', '7', '8', '9', '10',
+                                    '11', '12', '13']})