Test ran at 2024-12-10 00:43:59.704648+00:00 SOLUTION: raspberry_bsp=1.0.0: Board Support package for Raspberry PI v1, v2 and B+ Origin: commit a15c773223e31c3ba97dc806897ab1feec2ff5a3 from https://github.com/TamaMcGlinn/ada_raspio.git Available when: (case OS is Windows => False) Properties: Author: Tama McGlinn Description: Board Support package for Raspberry PI v1, v2 and B+ License: MIT Maintainer: Tama McGlinn Maintainers_Logins: TamaMcGlinn Name: raspberry_bsp Tag: raspberry Tag: pi Version: 1.0.0 Website: https://github.com/TamaMcGlinn/ada_raspio LOG: Note: Deploying raspberry_bsp=1.0.0... Note: Building raspberry_bsp/raspberry_bsp.gpr... Setup [mkdir] object directory for project Raspberry_BSP [mkdir] library directory for project Raspberry_BSP Compile [Ada] x86_64_linux_gnu_bits_stdint_uintn_h.ads [Ada] bcm2835_h.ads [Ada] x86_64_linux_gnu_bits_types_h.ads [Ada] x86_64_linux_gnu_bits_stdint_intn_h.ads [Ada] stdint_h.ads [Ada] raspio-gpio-encoder.adb [Ada] raspio.adb [Ada] raspio-gpio.adb Build Libraries [gprlib] Ada_Raspio.lexch [archive] libAda_Raspio.a [index] libAda_Raspio.a Build finished successfully in 0.24 seconds. raspberry_bsp=1.0.0 successfully retrieved and built. There are no dependencies. Found declared GPR file: raspberry_bsp.gpr