Test ran at 2025-08-01 01:06:37.628967+00:00 SOLUTION: linux_hal=1.2.0: HAL drivers for Linux userspace Origin: commit 6a1ecae45982d62284b99d19a4f47678ded49c15 from https://github.com/JeremyGrosser/linux_hal.git Available when: (case Distribution is Centos => True, Debian => True, Fedora => True, Ubuntu => True, others => False) Properties: Author: Jeremy Grosser Description: HAL drivers for Linux userspace License: BSD-3-Clause Maintainer: Jeremy Grosser Maintainers_Logins: JeremyGrosser Name: linux_hal Tag: embedded Tag: hal Tag: linux Tag: i2c Tag: smbus Tag: gpio Tag: spi Tag: audio Version: 1.2.0 Website: https://github.com/JeremyGrosser/linux_hal Dependencies (direct): hal^1 libgpiod^1 libi2c^4 libpulse^16 Dependencies (solution): hal=1.0.0 libgpiod=1.6.3 libi2c=4.3.0 libpulse=16.1.0 Dependencies (graph): linux_hal=1.2.0 --> hal=1.0.0 (^1) linux_hal=1.2.0 --> libgpiod=1.6.3 (^1) linux_hal=1.2.0 --> libi2c=4.3.0 (^4) linux_hal=1.2.0 --> libpulse=16.1.0 (^16) LOG: [alr test] Testing linux_hal=1.2.0 [alr test] Spawning retrieval for remote crate: alr -d -n get linux_hal=1.2.0 Note: Deploying linux_hal=1.2.0... linux_hal=1.2.0 successfully retrieved. Dependencies were solved as follows: + hal 1.0.0 (new) +b libgpiod 1.6.3 (new,system package) +b libi2c 4.3.0 (new,system package) +b libpulse 16.1.0 (new,system package) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building linux_hal=1.2.0/linux_hal.gpr... Setup [mkdir] object directory for project Linux_Hal Compile [C] linux_ioctl_wrap.c [Ada] linux_hal_config.ads [Ada] linux-time.adb [Ada] linux.ads [Ada] linux-i2c.adb [Ada] linux-gpio.adb [Ada] linux-audio.adb [Ada] linux-spi.adb [Ada] linux-smbus.adb Build Libraries [gprlib] Linux_Hal.lexch [archive] libLinux_Hal.a [index] libLinux_Hal.a Success: Build finished successfully in 0.75 seconds. Found declared GPR file: linux_hal.gpr [alr test] Test completed SUCCESSFULLY