Test ran at 2025-07-01 01:07:05.037907+00:00 SOLUTION: microbit_bsp=0.2.0: Board Support Package for the BBC micro:bit v1 Origin: commit 74e9a20abe272d56c365255096255a311648c1f8 from https://github.com/Fabien-Chouteau/microbit_bsp.git Properties: Description: Board Support Package for the BBC micro:bit v1 License: BSD-3-Clause Long_Description: # microbit BSP Board Support Package for the BBC micro:bit https://microbit.org/ This crate is a snapshot of [Ada Drivers Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/middleware). Any bug report, issue, contribution must be adressed to the [Ada Drivers Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo. Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: microbit_bsp Tag: embedded Tag: nostd Tag: microbit Tag: bbc Tag: nrf51 Tag: bsp Version: 0.2.0 Website: https://github.com/AdaCore/Ada_Drivers_Library/ Dependencies (direct): embedded_components^0.1.0 hal^0.1.0 nrf5x_hal^0.1.0 Dependencies (solution): adl_middleware=0.1.1 cortex_m=0.2.0 embedded_components=0.1.0 gnat_arm_elf=11.2.4 hal=0.1.0 nrf5x_hal=0.1.0 Dependencies (graph): adl_middleware=0.1.1 --> hal=0.1.0 (^0.1.0) cortex_m=0.2.0 --> hal=0.1.0 (^0.1.0) embedded_components=0.1.0 --> adl_middleware=0.1.1 (^0.1.0) embedded_components=0.1.0 --> hal=0.1.0 (^0.1.0) microbit_bsp=0.2.0 --> embedded_components=0.1.0 (^0.1.0) microbit_bsp=0.2.0 --> hal=0.1.0 (^0.1.0) microbit_bsp=0.2.0 --> nrf5x_hal=0.1.0 (^0.1.0) nrf5x_hal=0.1.0 --> cortex_m=0.2.0 (~0.2.0) nrf5x_hal=0.1.0 --> gnat_arm_elf=11.2.4 (^11.2) nrf5x_hal=0.1.0 --> hal=0.1.0 (~0.1.0) LOG: Spawning: alr -d -n get --build microbit_bsp=0.2.0 Note: Deploying microbit_bsp=0.2.0... Warning: Possible tilde intended instead of caret for a 0.x version. Alire does not change the meaning of caret and tilde for pre/post-1.0 versions. The suspicious dependency is: embedded_components^0.1.0 You can disable this warning by setting the option warning.caret to false. Note: Building microbit_bsp=0.2.0/microbit_bsp.gpr... Setup [mkdir] object directory for project Microbit_Bsp [mkdir] library directory for project Microbit_Bsp Compile [Ada] hal-sdmmc.adb [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 [Asm_CPP] crt0.S [Ada] microbit-servos.adb [Ada] microbit.ads [Ada] microbit_bsp.ads [Ada] microbit-display.adb [Ada] microbit-display-symbols.adb microbit.ads:68:01: (style) multiple blank lines [Ada] microbit-ios-neopixel.adb [Ada] microbit-buttons.adb [Ada] microbit-music.adb [Ada] microbit-ios.adb [Ada] microbit-console.adb [Ada] microbit-time.adb microbit-console.adb:111:01: (style) blank line not allowed at end of file [Ada] microbit-i2c.adb microbit-display.adb:664:01: (style) multiple blank lines [Ada] microbit-accelerometer.adb [Ada] microbit-spi.adb Build Libraries [gprlib] hal.lexch [archive] libhal.a [index] libhal.a [gprlib] cortex_m0.lexch [archive] libcortex_m0.a [index] libcortex_m0.a [gprlib] nrf51.lexch [gprlib] Adl_Middleware.lexch [archive] libnrf51.a [archive] libAdl_Middleware.a [index] libAdl_Middleware.a [gprlib] Embedded_Components.lexch [gprlib] Microbit_Bsp.lexch [archive] libEmbedded_Components.a [index] libnrf51.a [index] libEmbedded_Components.a [archive] libMicrobit_Bsp.a [index] libMicrobit_Bsp.a microbit_bsp=0.2.0 successfully retrieved and built. Dependencies were solved as follows: + adl_middleware 0.1.1 (new,indirect) + cortex_m 0.2.0 (new,indirect) + embedded_components 0.1.0 (new) +b gnat_arm_elf 11.2.4 (new,indirect,binary) + hal 0.1.0 (new) + nrf5x_hal 0.1.0 (new) Found declared GPR file: microbit_bsp.gpr