Test ran at 2025-06-11 12:29:45.866579+00:00 SOLUTION: stm32f0x2_hal=0.1.0: Drivers and HAL for stm32f0x2 mcu family Origin: commit 85eaea484c5010ac2fdb6b8849b20af4ae77a101 from https://github.com/dkm/stm32f0x2_hal-ada.git Properties: Author: AdaCore Author: Marc Poulhiès Config set: atomic {backend := armv6m} Config set: cortex_m {core := m0} Config type: Use_Startup : Boolean default: 'true' Configuration: no modifiers Description: Drivers and HAL for stm32f0x2 mcu family License: GPL-3.0-or-later AND BSD-3-Clause Maintainer: Marc Poulhiès Maintainers_Logins: dkm Name: stm32f0x2_hal Tag: embedded Tag: stm32f0 Tag: nostd Tag: drivers Version: 0.1.0 Website: https://github.com/dkm/stm32f0x2_hal-ada Dependencies (direct): cortex_m~0.5 gnat_arm_elf^12 hal~0.3 usb_embedded~0.3 Dependencies (solution): atomic=0.5.0 bbqueue=0.3.2 cortex_m=0.5.0 gnat=12.2.1 (gnat_arm_elf) gnat_arm_elf=12.2.1 hal=0.3.1 usb_embedded=0.3.0 Dependencies (graph): bbqueue=0.3.2 --> atomic=0.5.0 (~0.5) bbqueue=0.3.2 --> gnat=12.2.1 (gnat_arm_elf) (>=10) cortex_m=0.5.0 --> gnat_arm_elf=12.2.1 (>=12) cortex_m=0.5.0 --> hal=0.3.1 (~0.3) stm32f0x2_hal=0.1.0 --> cortex_m=0.5.0 (~0.5) stm32f0x2_hal=0.1.0 --> gnat_arm_elf=12.2.1 (^12) stm32f0x2_hal=0.1.0 --> hal=0.3.1 (~0.3) stm32f0x2_hal=0.1.0 --> usb_embedded=0.3.0 (~0.3) usb_embedded=0.3.0 --> bbqueue=0.3.2 (~0.3.0) usb_embedded=0.3.0 --> hal=0.3.1 (~0.3) LOG: Spawning: alr -d -n get --build stm32f0x2_hal=0.1.0 Note: Deploying stm32f0x2_hal=0.1.0... Note: Deploying atomic=0.5.0... Note: Deploying gnat_arm_elf=12.2.1... #=#=# # 2.6% ### 5.1% ####### 10.3% ########### 15.4% ############ 18.0% ############## 20.6% ################ 23.1% ################# 24.8% ###################### 30.8% ######################### 36.0% ########################### 38.5% ############################# 41.1% ################################# 46.2% ################################## 47.7% #################################### 51.4% ###################################### 53.9% ######################################### 58.2% ########################################## 59.3% ############################################## 64.2% ################################################ 67.8% ################################################### 71.9% ##################################################### 74.5% ####################################################### 77.4% ######################################################### 79.6% ########################################################### 82.6% ############################################################## 86.8% ############################################################## 87.4% ################################################################ 89.9% #################################################################### 95.1% ###################################################################### 97.7% ######################################################################## 100.0% Note: gnat_arm_elf=12.2.1 installed successfully. Note: Deploying hal=0.3.1... Note: Deploying bbqueue=0.3.2... Note: Deploying cortex_m=0.5.0... Note: Deploying usb_embedded=0.3.0... Note: Building stm32f0x2_hal=0.1.0/stm32f0x2_hal.gpr... Setup [mkdir] object directory for project HAL [mkdir] library directory for project HAL [mkdir] object directory for project Cortex_M [mkdir] library directory for project Cortex_M [mkdir] object directory for project Atomic [mkdir] library directory for project Atomic [mkdir] object directory for project Bbqueue [mkdir] library directory for project Bbqueue [mkdir] object directory for project Usb_Embedded [mkdir] library directory for project Usb_Embedded [mkdir] object directory for project Stm32f0x2_Hal [mkdir] library directory for project Stm32f0x2_Hal Compile [Ada] atomic-critical_section.adb [Ada] atomic-signed.adb [Ada] atomic-unsigned.adb [Ada] atomic.adb [Ada] atomic_config.ads [Ada] atomic-unsigned_16.ads [Ada] atomic-signed_32.ads [Ada] atomic-signed_8.ads [Ada] atomic-signed_16.ads [Ada] atomic-unsigned_8.ads [Ada] atomic-unsigned_32.ads [Ada] bbqueue_config.ads [Ada] bbqueue-buffers-framed.adb [Ada] bbqueue.adb [Ada] bbqueue-buffers.adb [Ada] usb_embedded_config.ads [Ada] usb-device-hid-mouse.adb [Ada] usb-device-midi.adb [Ada] usb-device.adb [Ada] usb-device-hid-keyboard.adb [Ada] usb-hal-device.ads [Ada] usb-logging.ads [Ada] usb-utils.adb [Ada] usb-device-hid.adb [Ada] usb-device-hid-gamepad.adb [Ada] usb.adb [Ada] usb-device-hid-joystick.adb [Ada] usb-hal.ads [Ada] usb-device-serial.adb [Ada] usb-device-control.adb [Ada] usb-lang.ads [Ada] usb-logging-device__null.adb [Ada] hal-sdmmc.adb [Ada] hal-flash.ads [Ada] hal-touch_panel.ads [Ada] hal-time.ads [Ada] hal-audio.ads [Ada] hal-framebuffer.ads [Ada] hal-uart.ads [Ada] hal-gpio.ads [Ada] hal-i2c.ads [Ada] hal-dsi.ads [Ada] hal-block_drivers.ads [Ada] hal-filesystem.ads [Ada] hal.ads [Ada] hal-real_time_clock.ads [Ada] hal-spi.ads [Ada] hal-bitmap.ads [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m_svd.ads [Ada] cortex_m_svd-nvic.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_config.ads [Ada] cortex_m.ads [Ada] semihosting.adb [Ada] cortex_m-systick.adb [Ada] cortex_m-debug.adb [Ada] cortex_m-dwt.adb [Ada] cortex_m-hints.adb [Ada] semihosting-filesystem.adb [Ada] memory_barriers.adb [Asm_Cpp] crt0.S [Ada] stm32-device.adb [Ada] stm32_svd-dac.ads [Ada] stm32_svd-dbgmcu.ads [Ada] stm32_svd-pwr.ads [Ada] stm32_svd-flash.ads [Ada] stm32_svd.ads [Ada] stm32_svd-usb.ads [Ada] stm32_svd-crs.ads [Ada] stm32_svd-scb.ads [Ada] stm32_svd-crc.ads [Ada] stm32_svd-tim.ads [Ada] stm32_svd-cec.ads [Ada] stm32_svd-syscfg.ads [Ada] stm32_svd-wwdg.ads [Ada] stm32_svd-adc.ads [Ada] stm32_svd-rtc.ads [Ada] stm32_svd-spi.ads [Ada] stm32_svd-nvic.ads [Ada] stm32_svd-tsc.ads [Ada] stm32_svd-i2c.ads [Ada] stm32_svd-exti.ads [Ada] stm32_svd-gpio.ads [Ada] stm32_svd-stk.ads [Ada] stm32_svd-rcc.ads [Ada] stm32_svd-iwdg.ads [Ada] stm32_svd-usart.ads [Ada] stm32_svd-dma.ads [Ada] stm32_svd-can.ads [Ada] stm32-usb_btable.ads [Ada] stm32-gpio.adb [Ada] stm32-usb_device.adb [Ada] stm32-timers.adb [Ada] stm32-rcc.adb [Ada] stm32-exti.adb [Ada] stm32-syscfg.adb [Ada] stm32-usb_serialtrace.adb [Ada] stm32.ads [Ada] stm32-usarts.adb [Ada] stm32-spi.adb Build Libraries [gprlib] hal.lexch [gprlib] Cortex_M.lexch [archive] libhal.a [index] libhal.a [gprlib] Atomic.lexch [gprlib] Bbqueue.lexch [archive] libCortex_M.a [archive] libAtomic.a [index] libCortex_M.a [index] libAtomic.a [gprlib] Usb_Embedded.lexch [archive] libBbqueue.a [index] libBbqueue.a [gprlib] stm32f0x2_hal.lexch [archive] libUsb_Embedded.a [index] libUsb_Embedded.a [archive] libstm32f0x2_hal.a [index] libstm32f0x2_hal.a stm32f0x2_hal=0.1.0 successfully retrieved and built. Dependencies were solved as follows: + atomic 0.5.0 (new,indirect) + bbqueue 0.3.2 (new,indirect) + cortex_m 0.5.0 (new) +b gnat 12.2.1 (new,gnat_arm_elf,indirect,binary) +b gnat_arm_elf 12.2.1 (new,binary) + hal 0.3.1 (new) + usb_embedded 0.3.0 (new) Found declared GPR file: stm32f0x2_hal.gpr