Test ran at 2025-02-17 13:02:53.982001+00:00

SOLUTION:
rp2040_hal=2.4.1: Drivers and HAL for the RP2040 micro-controller family
Origin: commit 57b8ab1ec2d8df694a7cbad2c3e2ab312b73340b from https://github.com/JeremyGrosser/rp2040_hal.git
Properties:
   Author: Jeremy Grosser
   Config set: atomic {Backend := armv6m}
   Config set: cortex_m {core := m0p}
   Config type: Flash_Chip : Enum (w25qxx, generic_qspi, generic_03) default: 'w25qxx'
   Config type: Interrupts : Enum (hal, bb_runtimes) default: 'hal'
   Config type: Use_Startup : Boolean default: 'true'
   Configuration: no modifiers
   Description: Drivers and HAL for the RP2040 micro-controller family
   License: BSD-3-Clause
   Maintainer: Jeremy Grosser <jeremy@synack.me>
   Maintainers_Logins: JeremyGrosser
   Name: rp2040_hal
   Tag: embedded
   Tag: nostd
   Tag: rp2040
   Tag: raspberrypi
   Tag: drivers
   Version: 2.4.1
   Website: https://pico-doc.synack.me/
Dependencies (direct):
   atomic^1
   cortex_m^1
   gnat_arm_elf^14
   hal^1
   usb_embedded^1
Dependencies (solution):
   atomic=1.0.0
   bbqueue=1.0.0
   cortex_m=1.0.0
   gnat=14.2.1 (gnat_arm_elf)
   gnat_arm_elf=14.2.1
   hal=1.0.0
   usb_embedded=1.0.0
Dependencies (graph):
   bbqueue=1.0.0      --> atomic=1.0.0 (^1.0.0)
   bbqueue=1.0.0      --> gnat=14.2.1 (gnat_arm_elf) (>=10)
   cortex_m=1.0.0     --> gnat_arm_elf=14.2.1 (>=12)
   cortex_m=1.0.0     --> hal=1.0.0 (^1.0.0)
   rp2040_hal=2.4.1   --> atomic=1.0.0 (^1)
   rp2040_hal=2.4.1   --> cortex_m=1.0.0 (^1)
   rp2040_hal=2.4.1   --> gnat_arm_elf=14.2.1 (^14)
   rp2040_hal=2.4.1   --> hal=1.0.0 (^1)
   rp2040_hal=2.4.1   --> usb_embedded=1.0.0 (^1)
   usb_embedded=1.0.0 --> bbqueue=1.0.0 (^1.0.0)
   usb_embedded=1.0.0 --> hal=1.0.0 (^1.0.0)


LOG:
Spawning: alr -d -n get --build rp2040_hal=2.4.1
Note: Deploying rp2040_hal=2.4.1...
Note: Building rp2040_hal=2.4.1/rp2040_hal.gpr...
Setup
   [mkdir]        object directory for project Rp2040_Hal
   [mkdir]        library directory for project Rp2040_Hal
Compile
   [Asm_Cpp]      crt0.S
   [Ada]          rp2040_hal_config.ads
   [Ada]          rp-timer-interrupts.adb
   [Ada]          rp_interrupts.adb
   [Ada]          rp-gpio-interrupts.adb
   [Ada]          rp-pwm-interrupts.adb
   [Ada]          rp-device.ads
   [Ada]          rp2040_svd-vreg_and_chip_reset.ads
   [Ada]          rp2040_svd-syscfg.ads
   [Ada]          rp2040_svd-usbctrl_regs.ads
   [Ada]          rp2040_svd-pwm.ads
   [Ada]          rp2040_svd-uart.ads
   [Ada]          rp2040_svd-pads_qspi.ads
   [Ada]          rp2040_svd-psm.ads
   [Ada]          rp2040_svd-xip_ctrl.ads
   [Ada]          rp2040_svd-pads_bank0.ads
   [Ada]          rp2040_svd-xosc.ads
   [Ada]          rp2040_svd.ads
   [Ada]          rp2040_svd-clocks.ads
   [Ada]          rp2040_svd-io_bank0.ads
   [Ada]          rp2040_svd-dma.ads
   [Ada]          rp2040_svd-busctrl.ads
   [Ada]          rp2040_svd-rosc.ads
   [Ada]          rp2040_svd-sio.ads
   [Ada]          rp2040_svd-timer.ads
   [Ada]          rp2040_svd-usbctrl_dpram.ads
   [Ada]          rp2040_svd-resets.ads
   [Ada]          rp2040_svd-interrupts.ads
   [Ada]          rp2040_svd-pio.ads
   [Ada]          rp2040_svd-adc.ads
   [Ada]          rp2040_svd-ppb.ads
   [Ada]          rp2040_svd-xip_ssi.ads
   [Ada]          rp2040_svd-tbman.ads
   [Ada]          rp2040_svd-i2c.ads
   [Ada]          rp2040_svd-pll.ads
   [Ada]          rp2040_svd-sysinfo.ads
   [Ada]          rp2040_svd-rtc.ads
   [Ada]          rp2040_svd-spi.ads
   [Ada]          rp2040_svd-io_qspi.ads
   [Ada]          rp2040_svd-watchdog.ads
   [Ada]          rp-multicore.adb
   [Ada]          rp-pio-touch_sense_charge_pio.ads
   [Ada]          rp-flash-cache.adb
   [Ada]          rp-pio.adb
   [Ada]          rp-rtc.adb
   [Ada]          rp-adc.adb
   [Ada]          rp-uart.adb
   [Ada]          rp-interpolator.ads
   [Ada]          rp-pio-ws2812.adb
   [Ada]          rp-pio-audio_i2s.adb
   [Ada]          rp-pio-touch_sense.adb
   [Ada]          rp-gpio.adb
   [Ada]          rp-pio-touch_sense_discharge_pio.ads
   [Ada]          rp-rom.adb
   [Ada]          rp-rom-floating_point.adb
   [Ada]          rp-clock.adb
   [Ada]          rp-i2c.adb
   [Ada]          rp-reset.adb
   [Ada]          rp-usb_device.adb
   [Ada]          rp-pio-audio_i2s_pio.ads
   [Ada]          rp-i2c_master.adb
   [Ada]          rp-multicore-fifo.adb
   [Ada]          rp-spi.adb
   [Ada]          rp-timer.adb
   [Ada]          rp-dma.adb
   [Ada]          rp-pio-encoding.ads
   [Ada]          rp-pio-ws2812_pio.ads
   [Ada]          rp-multicore-spinlocks.adb
   [Ada]          rp-flash.adb
   [Ada]          rp-pwm.adb
   [Ada]          rp-watchdog.adb
   [Ada]          rp.ads
Build Libraries
   [gprlib]       Rp2040_Hal.lexch
   [archive]      libRp2040_Hal.a
   [index]        libRp2040_Hal.a

rp2040_hal=2.4.1 successfully retrieved and built.
Dependencies were solved as follows:

   +  atomic       1.0.0  (new)
   +  bbqueue      1.0.0  (new,indirect)
   +  cortex_m     1.0.0  (new)
   +b gnat         14.2.1 (new,gnat_arm_elf,indirect,binary)
   +b gnat_arm_elf 14.2.1 (new,binary)
   +  hal          1.0.0  (new)
   +  usb_embedded 1.0.0  (new)
Found declared GPR file: rp2040_hal.gpr