Test ran at 2025-09-04 13:17:55.926220+00:00 SOLUTION: pico_examples=2.2.0: Examples for Ada on the Raspberry Pi Pico Origin: commit ba306c6f89f5554ff2e4afce74ea40835a701755 from https://github.com/JeremyGrosser/pico_examples.git Properties: Author: Jeremy Grosser Auto_Gpr_With: auto-gpr-with=false Description: Examples for Ada on the Raspberry Pi Pico License: BSD-3-Clause Maintainer: Jeremy Grosser Maintainers_Logins: JeremyGrosser Name: pico_examples Project_File: adc_continuous/adc_continuous.gpr Project_File: adc_hello/adc_hello.gpr Project_File: blink/blink.gpr Project_File: gpio_interrupts/gpio_interrupts.gpr Project_File: i2c_demo/i2c_demo.gpr Project_File: i2c_target/i2c_target.gpr Project_File: multicore/multicore.gpr Project_File: pimoroni_audio_pack/pimoroni_audio_pack.gpr Project_File: pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr Project_File: pio_assemble/pio_assemble.gpr Project_File: pio_blink/pio_blink.gpr Project_File: pwm/pwm.gpr Project_File: rtc/rtc.gpr Project_File: spi_loopback/spi_loopback.gpr Project_File: timer/timer.gpr Project_File: uart_echo/uart_echo.gpr Project_File: uart_interrupt/uart_interrupt.gpr Project_File: usb_echo/usb_echo.gpr Project_File: usb_echo_interrupt/usb_echo_interrupt.gpr Project_File: ws2812_demo/ws2812_demo.gpr Tag: embedded Tag: nostd Tag: pico Tag: rp2040 Version: 2.2.0 Website: https://pico-doc.synack.me/ Dependencies (direct): chests~0.1.1 pico_bsp^2 Dependencies (solution): atomic=1.0.0 bbqueue=1.0.0 chests=0.1.1 cortex_m=1.1.0 gnat=14.2.1 (gnat_arm_elf) gnat_arm_elf=14.2.1 hal=1.0.0 pico_bsp=2.2.0 rp2040_hal=2.5.0 usb_embedded=1.0.1 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.1.0 --> gnat_arm_elf=14.2.1 (>=12) cortex_m=1.1.0 --> hal=1.0.0 (~0.3 | ^1.0.0) pico_bsp=2.2.0 --> rp2040_hal=2.5.0 (^2) pico_examples=2.2.0 --> chests=0.1.1 (~0.1.1) pico_examples=2.2.0 --> pico_bsp=2.2.0 (^2) rp2040_hal=2.5.0 --> atomic=1.0.0 (^1) rp2040_hal=2.5.0 --> cortex_m=1.1.0 (^1) rp2040_hal=2.5.0 --> gnat_arm_elf=14.2.1 (^14) rp2040_hal=2.5.0 --> hal=1.0.0 (^1) rp2040_hal=2.5.0 --> usb_embedded=1.0.1 (^1) usb_embedded=1.0.1 --> bbqueue=1.0.0 (^1.0.0) usb_embedded=1.0.1 --> hal=1.0.0 (^1.0.0) LOG: [alr test] Testing pico_examples=2.2.0 [alr test] Spawning retrieval for remote crate: alr -d -n get pico_examples=2.2.0 Note: Deploying pico_examples=2.2.0... Note: Deploying atomic=1.0.0... Note: Deploying chests=0.1.1... Note: Deploying gnat_arm_elf=14.2.1... #=#=# 0.7% ## 2.8% ### 4.4% #### 6.6% ###### 8.8% ####### 11.0% ######### 13.2% ########### 15.4% ############ 17.7% ############## 19.9% ############### 22.1% ################# 24.3% ################### 26.5% #################### 28.3% ##################### 30.1% ####################### 32.1% ######################## 34.0% ######################### 36.1% ########################### 37.5% ############################ 39.7% ############################## 41.9% ############################## 42.0% ############################## 42.0% ############################## 42.1% ############################## 42.8% ################################ 45.2% ################################# 46.3% ################################## 48.5% #################################### 50.8% ###################################### 53.0% ####################################### 55.2% ######################################### 57.4% ########################################## 59.6% ############################################ 61.8% ############################################## 64.0% ############################################### 66.2% ################################################# 68.4% ################################################## 70.6% #################################################### 72.8% ###################################################### 75.0% ####################################################### 77.2% ######################################################### 79.4% ########################################################## 81.6% ############################################################ 83.8% ############################################################# 86.1% ############################################################### 88.3% ################################################################# 90.5% ################################################################## 92.7% #################################################################### 94.9% ##################################################################### 97.1% ####################################################################### 99.3% ######################################################################## 100.0% Note: gnat_arm_elf=14.2.1 installed successfully. Note: Deploying hal=1.0.0... Note: Deploying bbqueue=1.0.0... Note: Deploying cortex_m=1.1.0... Note: Deploying usb_embedded=1.0.1... Note: Deploying rp2040_hal=2.5.0... Note: Deploying pico_bsp=2.2.0... pico_examples=2.2.0 successfully retrieved. Dependencies were solved as follows: + atomic 1.0.0 (new,indirect) + bbqueue 1.0.0 (new,indirect) + chests 0.1.1 (new) + cortex_m 1.1.0 (new,indirect) +b gnat 14.2.1 (new,gnat_arm_elf,indirect,binary) +b gnat_arm_elf 14.2.1 (new,indirect,binary) + hal 1.0.0 (new,indirect) + pico_bsp 2.2.0 (new) + rp2040_hal 2.5.0 (new,indirect) + usb_embedded 1.0.1 (new,indirect) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building pico_examples=2.2.0/adc_continuous/adc_continuous.gpr (1/20)... Setup [mkdir] object directory for project Atomic [mkdir] library directory for project Atomic [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 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 Rp2040_Hal [mkdir] library directory for project Rp2040_Hal [mkdir] object directory for project Pico_Bsp [mkdir] library directory for project Pico_Bsp [mkdir] object directory for project ADC_Continuous Compile [Ada] main.adb [Ada] bbqueue_config.ads [Ada] bbqueue.adb [Ada] bbqueue-buffers-framed.adb [Ada] bbqueue-buffers.adb [Ada] usb_embedded_config.ads [Ada] usb-lang.ads [Ada] usb-device-hid-keyboard.adb [Ada] usb-device-hid-joystick.adb [Ada] usb-hal.ads [Ada] usb-hal-device.ads [Ada] usb-device-hid-gamepad.adb [Ada] usb.adb [Ada] usb-device-hid.adb [Ada] usb-utils.adb [Ada] usb-device-control.adb [Ada] usb-logging.ads [Ada] usb-device.adb [Ada] usb-device-hid-mouse.adb [Ada] usb-device-midi.adb [Ada] usb-device-serial.adb [Ada] usb-logging-device__null.adb [Ada] hal-framebuffer.ads [Ada] hal-time.ads [Ada] hal.ads [Ada] hal-spi.ads [Ada] hal-touch_panel.ads [Ada] hal-audio.ads [Ada] hal-flash.ads [Ada] hal-filesystem.ads [Ada] hal-sdmmc.adb [Ada] hal-bitmap.ads [Ada] hal-real_time_clock.ads [Ada] hal-dsi.ads [Ada] hal-i2c.ads [Ada] hal-block_drivers.ads [Ada] hal-gpio.ads [Ada] hal-uart.ads [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd.ads [Ada] cortex_m_svd-nvic.ads [Ada] cortex_m_config.ads [Ada] semihosting.adb [Ada] cortex_m-reset.adb [Ada] memory_barriers.adb [Ada] cortex_m-dwt.adb [Ada] cortex_m.ads [Ada] cortex_m-hints.adb [Ada] semihosting-filesystem.adb [Ada] cortex_m-systick.adb [Ada] cortex_m-debug.adb [Ada] atomic-critical_section.adb [Ada] atomic-unsigned.adb [Ada] atomic.adb [Ada] atomic-signed.adb [Ada] atomic_config.ads [Ada] atomic-signed_32.ads [Ada] atomic-signed_16.ads [Ada] atomic-signed_8.ads [Ada] atomic-unsigned_32.ads [Ada] atomic-unsigned_16.ads [Ada] atomic-unsigned_8.ads [Asm_Cpp] crt0.S [Ada] rp2040_hal_config.ads [Ada] rp_interrupts.adb [Ada] rp-timer-interrupts.adb [Ada] rp-pwm-interrupts.adb [Ada] rp-gpio-interrupts.adb [Ada] rp-device.ads [Ada] rp2040_svd.ads [Ada] rp2040_svd-xip_ssi.ads [Ada] rp2040_svd-psm.ads [Ada] rp2040_svd-timer.ads [Ada] rp2040_svd-sio.ads [Ada] rp2040_svd-ppb.ads [Ada] rp2040_svd-busctrl.ads [Ada] rp2040_svd-rosc.ads [Ada] rp2040_svd-spi.ads [Ada] rp2040_svd-xosc.ads [Ada] rp2040_svd-adc.ads [Ada] rp2040_svd-xip_ctrl.ads [Ada] rp2040_svd-pio.ads [Ada] rp2040_svd-pads_bank0.ads [Ada] rp2040_svd-interrupts.ads [Ada] rp2040_svd-pads_qspi.ads [Ada] rp2040_svd-i2c.ads [Ada] rp2040_svd-pwm.ads [Ada] rp2040_svd-vreg_and_chip_reset.ads [Ada] rp2040_svd-io_qspi.ads [Ada] rp2040_svd-watchdog.ads [Ada] rp2040_svd-resets.ads [Ada] rp2040_svd-rtc.ads [Ada] rp2040_svd-sysinfo.ads [Ada] rp2040_svd-usbctrl_dpram.ads [Ada] rp2040_svd-syscfg.ads [Ada] rp2040_svd-uart.ads [Ada] rp2040_svd-io_bank0.ads [Ada] rp2040_svd-pll.ads [Ada] rp2040_svd-clocks.ads [Ada] rp2040_svd-dma.ads [Ada] rp2040_svd-usbctrl_regs.ads [Ada] rp2040_svd-tbman.ads [Ada] rp-multicore.adb [Ada] rp-multicore-fifo.adb [Ada] rp-rom.adb [Ada] rp-rom-floating_point.adb [Ada] rp-multicore-spinlocks.adb [Ada] rp-pwm.adb [Ada] rp-uart.adb [Ada] rp-pio-audio_i2s.adb [Ada] rp-adc.adb [Ada] rp-pio-ws2812.adb [Ada] rp-pio.adb [Ada] rp-spi.adb [Ada] rp-timer.adb [Ada] rp-rtc.adb [Ada] rp-i2c_master.adb [Ada] rp-pio-audio_i2s_pio.ads [Ada] rp-gpio.adb [Ada] rp-reset.adb [Ada] rp-clock.adb [Ada] rp-flash-cache.adb [Ada] rp-interpolator.ads [Ada] rp-pio-touch_sense.adb [Ada] rp-pio-ws2812_pio.ads [Ada] rp-pio-touch_sense_charge_pio.ads [Ada] rp-watchdog.adb [Ada] rp-i2c.adb [Ada] rp-pio-encoding.ads [Ada] rp-flash.adb [Ada] rp-pio-touch_sense_discharge_pio.ads [Ada] rp-usb_device.adb [Ada] rp-dma.adb [Ada] rp.ads [Ada] pico_bsp_config.ads [Ada] pico-audio_i2s.ads [Ada] pico-pimoroni.ads [Ada] pico-pimoroni-audio_pack.ads [Ada] pico.ads [Ada] pico-pimoroni-rgb_keypad.adb Build Libraries [gprlib] Atomic.lexch [gprlib] hal.lexch [gprlib] Cortex_M.lexch [archive] libAtomic.a [archive] libhal.a [index] libAtomic.a [index] libhal.a [gprlib] Bbqueue.lexch [gprlib] Usb_Embedded.lexch [archive] libBbqueue.a [archive] libCortex_M.a [index] libBbqueue.a [index] libCortex_M.a [gprlib] Rp2040_Hal.lexch [archive] libUsb_Embedded.a [index] libUsb_Embedded.a [gprlib] Pico_Bsp.lexch [archive] libRp2040_Hal.a [index] libRp2040_Hal.a [archive] libPico_Bsp.a [index] libPico_Bsp.a Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples=2.2.0/adc_hello/adc_hello.gpr (2/20)... Setup [mkdir] object directory for project ADC_Hello Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples=2.2.0/blink/blink.gpr (3/20)... Setup [mkdir] object directory for project Blink Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples=2.2.0/gpio_interrupts/gpio_interrupts.gpr (4/20)... Setup [mkdir] object directory for project GPIO_Interrupts Compile [Ada] main.adb [Ada] handlers.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples=2.2.0/i2c_demo/i2c_demo.gpr (5/20)... Setup [mkdir] object directory for project Chests [mkdir] library directory for project Chests [mkdir] object directory for project I2c_Demo [mkdir] exec directory for project I2c_Demo Compile [Ada] i2c_demo.adb [Ada] chests.ads [Ada] chests-stacks.adb [Ada] chests-ring_buffers.adb i2c_demo.adb:22:54: error: too few discriminants given in constraint i2c_demo.adb:26:11: error: no selector "Configure" for private type "I2C_Master_Port" defined at rp-i2c_master.ads:22 i2c_demo.adb:29:11: error: no selector "Mem_Read" for private type "I2C_Master_Port" defined at rp-i2c_master.ads:22 compilation of i2c_demo.adb failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/f44967ff-fc2e-47b3-a118-1c849c218a5d/pico_examples_2.2.0_ba306c6f/i2c_demo/i2c_demo.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/f44967ff-fc2e-47b3-a118-1c849c218a5d/pico_examples_2.2.0_ba306c6f/i2c_demo/i2c_demo.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/f44967ff-fc2e-47b3-a118-1c849c218a5d/pico_examples_2.2.0_ba306c6f/i2c_demo/i2c_demo.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/usr/bin/alr] 0xe75bc6 Alire.Raise_Checked_Error at alire.adb:284 0xac1a54 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xd40276 Alire.Spawn.Command at alire-spawn.adb:22 0xd412ee Alire.Spawn.Gprbuild at alire-spawn.adb:68 0xc748cb Alire.Roots.Build at alire-roots.adb:189 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib64/libc.so.6] 0x7f684e967086 0x7f684e967149 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 [/usr/bin/alr] 0xc74cc7 Alire.Roots.Build at alire-roots.adb:202 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib64/libc.so.6] 0x7f684e967086 0x7f684e967149 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.