From 64defc395af9020b012681d0b897457722bc36bb Mon Sep 17 00:00:00 2001
From: Pat Bernardi <bernardi@adacore.com>
Date: Thu, 21 Mar 2024 18:40:32 -0400
Subject: [PATCH] Rename morello-elf compiler triplet to morello-elf

Issue: eng/projects/sabd/sabd#7
---
 aarch64/__init__.py             | 4 ++++
 support/rts_sources/profiles.py | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/aarch64/__init__.py b/aarch64/__init__.py
index 4fae757b..fc19ffbd 100644
--- a/aarch64/__init__.py
+++ b/aarch64/__init__.py
@@ -108,6 +108,10 @@ class MorelloTarget(Aarch64Target):
     def parent(self):
         return MorelloArch
 
+    @property
+    def target(self):
+        return "morello-elf"
+
     @property
     def compiler_switches(self):
         return ("-march=morello+c64", "-mabi=purecap")
diff --git a/support/rts_sources/profiles.py b/support/rts_sources/profiles.py
index c33aae87..dde35fe2 100644
--- a/support/rts_sources/profiles.py
+++ b/support/rts_sources/profiles.py
@@ -118,7 +118,7 @@ def light_scenarios(self, profile="light"):
         if self.config.target is not None:
             cpu = self.config.target.split("-")[0]
 
-            if cpu in ("aarch64",):
+            if cpu in ("aarch64", "morello"):
                 ret["CPU_Family"] = "aarch64"
                 ret["Has_FMA"] = "yes" if self.config.has_fpu else "no"
             elif cpu in ("arm",):