Test ran at 2024-10-19 12:30:42.697931+00:00 SOLUTION: pico_examples=2.0.0: Examples for Ada on the Raspberry Pi Pico Origin: commit cd57c29a7ad70cbb080cda4078455e1d6d58b58f 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: multicore/multicore.gpr Project_File: pimoroni_audio_pack/pimoroni_audio_pack.gpr Project_File: pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr Project_File: pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.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.0.0 Website: https://pico-doc.synack.me/ Dependencies (direct): chests~0.1.1 gnat_arm_elf^12 pico_bsp^2.0 rp2040_hal^2.0 Dependencies (solution): atomic=0.5.0 bbqueue=0.3.1 chests=0.1.1 cortex_m=0.5.0 gnat=12.2.1 (gnat_arm_elf) (installed) gnat_arm_elf=12.2.1 (installed) hal=0.3.0 pico_bsp=2.0.0 rp2040_hal=2.0.1 usb_embedded=0.3.0 Dependencies (graph): bbqueue=0.3.1 --> atomic=0.5.0 (~0.5) bbqueue=0.3.1 --> 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.0 (~0.3) pico_bsp=2.0.0 --> hal=0.3.0 (~0.3) pico_bsp=2.0.0 --> rp2040_hal=2.0.1 (^2.0) pico_examples=2.0.0 --> chests=0.1.1 (~0.1.1) pico_examples=2.0.0 --> gnat_arm_elf=12.2.1 (^12) pico_examples=2.0.0 --> pico_bsp=2.0.0 (^2.0) pico_examples=2.0.0 --> rp2040_hal=2.0.1 (^2.0) rp2040_hal=2.0.1 --> atomic=0.5.0 (~0.5) rp2040_hal=2.0.1 --> cortex_m=0.5.0 (~0.5) rp2040_hal=2.0.1 --> gnat_arm_elf=12.2.1 (^12.2) rp2040_hal=2.0.1 --> hal=0.3.0 (~0.3) rp2040_hal=2.0.1 --> usb_embedded=0.3.0 (~0.3) usb_embedded=0.3.0 --> bbqueue=0.3.1 (~0.3.0) usb_embedded=0.3.0 --> hal=0.3.0 (~0.3) LOG: Note: Deploying pico_examples=2.0.0... Note: Deploying gnat_arm_elf=12.2.1... #=#=# 0.1% 0.6% # 2.0% ### 5.1% ######### 12.6% ############### 22.1% ###################### 31.4% ############################# 40.7% ############################# 41.6% ############################### 43.7% ################################### 48.8% ######################################## 56.4% ############################################## 64.2% ################################################# 69.3% ####################################################### 77.1% ########################################################### 82.2% ############################################################## 87.4% #################################################################### 95.8% ######################################################################## 100.0% Note: gnat_arm_elf=12.2.1 installed successfully. Note: Deploying atomic=0.5.0... Note: Deploying chests=0.1.1... Note: Deploying hal=0.3.0... Note: Deploying bbqueue=0.3.1... Note: Deploying cortex_m=0.5.0... Note: Deploying usb_embedded=0.3.0... Note: Deploying rp2040_hal=2.0.1... Note: Deploying pico_bsp=2.0.0... Note: Building pico_examples/adc_continuous/adc_continuous.gpr (1/20)... Setup [mkdir] object directory for project HAL [mkdir] library directory for project HAL [mkdir] object directory for project Atomic [mkdir] library directory for project Atomic [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-buffers-framed.adb [Ada] bbqueue.adb [Ada] bbqueue-buffers.adb [Ada] usb_embedded_config.ads [Ada] usb-device-hid-mouse.adb [Ada] usb-hal-device.ads [Ada] usb-device-control.adb [Ada] usb-device-hid-gamepad.adb [Ada] usb-utils.adb [Ada] usb-lang.ads [Ada] usb-hal.ads [Ada] usb-device-hid-keyboard.adb [Ada] usb.adb [Ada] usb-logging.ads [Ada] usb-device-midi.adb [Ada] usb-device-hid.adb [Ada] usb-device-hid-joystick.adb [Ada] usb-device-serial.adb [Ada] usb-device.adb [Ada] usb-logging-device__null.adb [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m_svd-nvic.ads [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd.ads [Ada] cortex_m_config.ads [Ada] cortex_m-dwt.adb [Ada] cortex_m.ads [Ada] cortex_m-hints.adb [Ada] cortex_m-debug.adb [Ada] memory_barriers.adb [Ada] semihosting-filesystem.adb [Ada] semihosting.adb [Ada] cortex_m-systick.adb [Ada] atomic-critical_section.adb [Ada] atomic.adb [Ada] atomic-signed.adb [Ada] atomic-unsigned.adb [Ada] atomic_config.ads [Ada] atomic-unsigned_32.ads [Ada] atomic-unsigned_16.ads [Ada] atomic-signed_16.ads [Ada] atomic-unsigned_8.ads [Ada] atomic-signed_8.ads [Ada] atomic-signed_32.ads [Asm_Cpp] crt0.S [Ada] rp2040_hal_config.ads [Ada] rp-pwm-interrupts.adb [Ada] rp_interrupts.adb [Ada] rp-timer-interrupts.adb [Ada] rp-gpio-interrupts.adb [Ada] rp-device.ads [Ada] rp2040_svd-vreg_and_chip_reset.ads [Ada] rp2040_svd-tbman.ads [Ada] rp2040_svd-spi.ads [Ada] rp2040_svd-xosc.ads [Ada] rp2040_svd-sysinfo.ads [Ada] rp2040_svd-usbctrl_regs.ads [Ada] rp2040_svd.ads [Ada] rp2040_svd-usbctrl_dpram.ads [Ada] rp2040_svd-syscfg.ads [Ada] rp2040_svd-dma.ads [Ada] rp2040_svd-xip_ctrl.ads [Ada] rp2040_svd-watchdog.ads [Ada] rp2040_svd-ppb.ads [Ada] rp2040_svd-interrupts.ads [Ada] rp2040_svd-pwm.ads [Ada] rp2040_svd-xip_ssi.ads [Ada] rp2040_svd-busctrl.ads [Ada] rp2040_svd-io_qspi.ads [Ada] rp2040_svd-uart.ads [Ada] rp2040_svd-pio.ads [Ada] rp2040_svd-timer.ads [Ada] rp2040_svd-pads_bank0.ads [Ada] rp2040_svd-pads_qspi.ads [Ada] rp2040_svd-clocks.ads [Ada] rp2040_svd-adc.ads [Ada] rp2040_svd-psm.ads [Ada] rp2040_svd-sio.ads [Ada] rp2040_svd-rosc.ads [Ada] rp2040_svd-rtc.ads [Ada] rp2040_svd-io_bank0.ads [Ada] rp2040_svd-resets.ads [Ada] rp2040_svd-pll.ads [Ada] rp2040_svd-i2c.ads [Ada] rp-spi.adb [Ada] rp-i2c_master.adb [Ada] rp-pio.adb [Ada] rp-i2c.adb [Ada] rp-rtc.adb [Ada] rp-multicore.adb [Ada] rp-watchdog.adb [Ada] rp-rom.adb [Ada] rp-multicore-spinlocks.adb [Ada] rp-flash-cache.adb [Ada] rp-pio-audio_i2s_pio.ads [Ada] rp-multicore-fifo.adb [Ada] rp-reset.adb [Ada] rp-pio-ws2812_pio.ads [Ada] rp-rom-floating_point.adb [Ada] rp-gpio.adb [Ada] rp-uart.adb [Ada] rp-flash.adb [Ada] rp-clock.adb [Ada] rp-pio-audio_i2s.adb [Ada] rp-pio-ws2812.adb [Ada] rp-adc.adb [Ada] rp-interpolator.ads [Ada] rp-usb_device.adb [Ada] rp-pwm.adb [Ada] rp-pio-encoding.ads [Ada] rp-dma.adb [Ada] rp-timer.adb [Ada] rp.ads [Ada] hal-i2c.ads [Ada] hal-framebuffer.ads [Ada] hal-bitmap.ads [Ada] hal-filesystem.ads [Ada] hal-gpio.ads [Ada] hal-spi.ads [Ada] hal.ads [Ada] hal-uart.ads [Ada] hal-sdmmc.adb [Ada] hal-audio.ads [Ada] hal-real_time_clock.ads [Ada] hal-touch_panel.ads [Ada] hal-time.ads [Ada] hal-block_drivers.ads [Ada] hal-dsi.ads [Ada] pico_bsp_config.ads [Ada] pico-pimoroni.ads [Ada] pico.ads [Ada] pico-pimoroni-rgb_keypad.adb [Ada] pico-pimoroni-audio_pack.ads [Ada] pico-audio_i2s.ads Build Libraries [gprlib] hal.lexch [gprlib] Atomic.lexch [gprlib] Cortex_M.lexch [archive] libhal.a [archive] libAtomic.a [index] libhal.a [index] libAtomic.a [gprlib] Bbqueue.lexch [gprlib] Usb_Embedded.lexch [archive] libCortex_M.a [archive] libBbqueue.a [index] libCortex_M.a [index] libBbqueue.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/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/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/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/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-ring_buffers.adb [Ada] chests-stacks.adb [Ada] chests.ads Build Libraries [gprlib] Chests.lexch [archive] libChests.a [index] libChests.a Bind [gprbind] i2c_demo.bexch [Ada] i2c_demo.ali Link [link] i2c_demo.adb Note: Building pico_examples/multicore/multicore.gpr (6/20)... Setup [mkdir] object directory for project Multicore Compile [Ada] main.adb [Ada] led_control.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/pimoroni_audio_pack/pimoroni_audio_pack.gpr (7/20)... Setup [mkdir] object directory for project Pimoroni_Audio_Pack Compile [Ada] main.adb [Ada] synth.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr (8/20)... Setup [mkdir] object directory for project Pimoroni_RGB_Keypad Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr (9/20)... Setup [mkdir] object directory for project Pimoroni_RGB_Keypad_Interrupt Compile [Ada] main.adb [Ada] demo.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/pio_assemble/pio_assemble.gpr (10/20)... Setup [mkdir] object directory for project PIO_Assemble Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/pio_blink/pio_blink.gpr (11/20)... Setup [mkdir] object directory for project PIO_Blink Compile [Ada] main.adb [Ada] hello.ads Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/pwm/pwm.gpr (12/20)... Setup [mkdir] object directory for project PWM Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/rtc/rtc.gpr (13/20)... Setup [mkdir] object directory for project RTC Compile [Ada] main.adb [Ada] text_format.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/spi_loopback/spi_loopback.gpr (14/20)... Setup [mkdir] object directory for project SPI_Loopback Compile [Ada] main.adb [Ada] board.adb [Ada] tests.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/timer/timer.gpr (15/20)... Setup [mkdir] object directory for project Timer Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/uart_echo/uart_echo.gpr (16/20)... Setup [mkdir] object directory for project UART_Echo Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/uart_interrupt/uart_interrupt.gpr (17/20)... Setup [mkdir] object directory for project UART_Interrupt Compile [Ada] main.adb [Ada] console.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/usb_echo/usb_echo.gpr (18/20)... Setup [mkdir] object directory for project USB_Echo Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/usb_echo_interrupt/usb_echo_interrupt.gpr (19/20)... Setup [mkdir] object directory for project USB_Echo_Interrupt Compile [Ada] main.adb [Ada] usb_int.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Note: Building pico_examples/ws2812_demo/ws2812_demo.gpr (20/20)... Setup [mkdir] object directory for project WS2812_Demo Compile [Ada] main.adb Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb Build finished successfully in 16.77 seconds. pico_examples=2.0.0 successfully retrieved and built. Dependencies were solved as follows: + atomic 0.5.0 (new,indirect) + bbqueue 0.3.1 (new,indirect) + chests 0.1.1 (new) + cortex_m 0.5.0 (new,indirect) +i gnat 12.2.1 (new,installed,gnat_arm_elf,indirect) +i gnat_arm_elf 12.2.1 (new,installed) + hal 0.3.0 (new,indirect) + pico_bsp 2.0.0 (new) + rp2040_hal 2.0.1 (new) + usb_embedded 0.3.0 (new,indirect) Found declared GPR file: adc_continuous/adc_continuous.gpr Found declared GPR file: adc_hello/adc_hello.gpr Found declared GPR file: blink/blink.gpr Found declared GPR file: gpio_interrupts/gpio_interrupts.gpr Found declared GPR file: i2c_demo/i2c_demo.gpr Found declared GPR file: multicore/multicore.gpr Found declared GPR file: pimoroni_audio_pack/pimoroni_audio_pack.gpr Found declared GPR file: pimoroni_rgb_keypad/pimoroni_rgb_keypad.gpr Found declared GPR file: pimoroni_rgb_keypad_interrupt/pimoroni_rgb_keypad_interrupt.gpr Found declared GPR file: pio_assemble/pio_assemble.gpr Found declared GPR file: pio_blink/pio_blink.gpr Found declared GPR file: pwm/pwm.gpr Found declared GPR file: rtc/rtc.gpr Found declared GPR file: spi_loopback/spi_loopback.gpr Found declared GPR file: timer/timer.gpr Found declared GPR file: uart_echo/uart_echo.gpr Found declared GPR file: uart_interrupt/uart_interrupt.gpr Found declared GPR file: usb_echo/usb_echo.gpr Found declared GPR file: usb_echo_interrupt/usb_echo_interrupt.gpr Found declared GPR file: ws2812_demo/ws2812_demo.gpr