From af4420935aef34e73c68726d768ae773373a602a Mon Sep 17 00:00:00 2001
From: Paul Jarrett <jarrett.paul.young@gmail.com>
Date: Fri, 8 Mar 2024 00:05:06 -0500
Subject: [PATCH] Update septum to use alire build profiles.

---
 alire.toml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/alire.toml b/alire.toml
index 76c1613..d0ef1a2 100644
--- a/alire.toml
+++ b/alire.toml
@@ -16,6 +16,25 @@ windows = { Septum_Platform = "windows" }
 linux = { Septum_Platform = "linux" }
 macos = { Septum_Platform = "macos" }
 
+[build-switches]
+Development.Debug_Info = "Yes"
+Development.Contracts = "Yes"
+Development.Runtime_Checks = [
+    "-gnato",        # Enable numeric overflow checking;
+    "-fstack-check", # Stack overflow checking
+    "-gnatVa"        # All validity checks
+]
+
+Release.Runtime_Checks = "None"
+
+"*".Compile_Checks = "Errors"
+"*".Ada_Version = "Ada2022"
+"*".Style_Checks = [
+    "-gnaty-d",   # Disable no DOS line terminators
+    "-gnatyM120", # Maximum line length
+    "-gnatyO"     # Overriding subprograms explicitly marked as such]
+]
+
 [[depends-on]]  # Added by alr
 dir_iterators = "~0.0.4"  # Added by alr
 [[depends-on]]  # Added by alr