Update to gnat_arm_elf 14, fix style warning in RP.PIO.WS2812

JeremyGrosser · Jun 5, 2024 · 13f0f82 · 13f0f82
1 parent 71f589d
commit 13f0f82
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/alire.toml b/alire.toml
@@ -14,7 +14,7 @@ cortex_m = "~0.5"
 atomic = "~0.5"
 hal = "~0.3"
 usb_embedded = "~0.3"
-gnat_arm_elf = "^13"
+gnat_arm_elf = "^14"
 
 [configuration.variables]
 Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}

diff --git a/src/drivers/rp-pio-ws2812.adb b/src/drivers/rp-pio-ws2812.adb
@@ -156,7 +156,7 @@ package body RP.PIO.WS2812 is
                      (255 - Shift_Right (UInt32 (S) *
                         (255 - Remainder), 8)), 8));
 
-         case (Region) is
+         case Region is
             when      0 => R := V; G := T; B := P;
             when      1 => R := Q; G := V; B := P;
             when      2 => R := P; G := V; B := T;

diff --git a/tests/alire.toml b/tests/alire.toml
@@ -12,7 +12,7 @@ executables = ["test_rp2040_hal"]
 rp2040_hal = "^2"
 aunit = "^24"
 gnatcov = "^22"
-gnat_arm_elf = "^13"
+gnat_arm_elf = "^14"
 
 [[pins]]
 rp2040_hal = { path='..' }