Skip to content

Commit

Permalink
Update septum to use alire build profiles.
Browse files Browse the repository at this point in the history
  • Loading branch information
pyjarrett committed Mar 8, 2024
1 parent 10b2ee9 commit af44209
Showing 1 changed file with 19 additions and 0 deletions.
19 changes: 19 additions & 0 deletions alire.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit af44209

Please sign in to comment.