From 8310cb378532e062d56a4c82013f905adf54d4c0 Mon Sep 17 00:00:00 2001
From: mloubout <mathias.louboutin@gmail.com>
Date: Wed, 1 Nov 2023 09:19:01 -0400
Subject: [PATCH] arch: add gcc 13

---
 devito/arch/compiler.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/devito/arch/compiler.py b/devito/arch/compiler.py
index b0d75f42232..d3be86d1d0c 100644
--- 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']})