Switch to gnat-fsf-13.1.0, fix new compile time warnings.

JeremyGrosser · Aug 11, 2023 · 0dd8c30 · 0dd8c30
1 parent 86b3aa9
commit 0dd8c30
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 4 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 = "^12.2"
+gnat_arm_elf = "^13"
 
 [configuration.variables]
 Flash_Chip = {type = "Enum",  values = ["w25qxx", "generic_qspi", "generic_03"], default = "w25qxx"}

diff --git a/src/drivers/rp-clock.adb b/src/drivers/rp-clock.adb
@@ -239,7 +239,6 @@ package body RP.Clock is
        Accuracy : UInt4 := 15)
       return Hertz
    is
-      use type RP2040_SVD.CLOCKS.FC0_SRC_FC0_SRC_Field;
       F : Hertz;
    begin
       CLOCKS_Periph.FC0_INTERVAL.FC0_INTERVAL := Accuracy;

diff --git a/src/drivers/rp-i2c.adb b/src/drivers/rp-i2c.adb
@@ -3,7 +3,6 @@
 --
 --  SPDX-License-Identifier: BSD-3-Clause
 --
-with Ada.Unchecked_Conversion;
 with RP.Reset;
 with RP.Clock;
 

diff --git a/tests/alire.toml b/tests/alire.toml
@@ -11,7 +11,7 @@ executables = ["test_rp2040_hal"]
 [[depends-on]]  # Added by alr
 rp2040_hal = "^2"
 aunit = "^23.0.0"
-gnat_arm_elf = "^12"
+gnat_arm_elf = "^13"
 gnatcov = "^22.0.1"
 
 [[pins]]