Test ran at 2025-07-22 01:25:56.382124+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... Note: Deploying libgpiod=1.6.3... The system package 'libgpiod-dev' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libgpiod2:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 37819 files and directories currently installed.) Preparing to unpack .../libgpiod2_1.6.3-1+b3_amd64.deb ... Unpacking libgpiod2:amd64 (1.6.3-1+b3) ... Selecting previously unselected package libgpiod-dev:amd64. Preparing to unpack .../libgpiod-dev_1.6.3-1+b3_amd64.deb ... Unpacking libgpiod-dev:amd64 (1.6.3-1+b3) ... Setting up libgpiod2:amd64 (1.6.3-1+b3) ... Setting up libgpiod-dev:amd64 (1.6.3-1+b3) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... Note: Deploying libi2c=4.3.0... The system package 'libi2c-dev' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package udev. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 37840 files and directories currently installed.) Preparing to unpack .../0-udev_252.38-1~deb12u1_amd64.deb ... Unpacking udev (252.38-1~deb12u1) ... Selecting previously unselected package libi2c0:amd64. Preparing to unpack .../1-libi2c0_4.3-2+b3_amd64.deb ... Unpacking libi2c0:amd64 (4.3-2+b3) ... Selecting previously unselected package i2c-tools. Preparing to unpack .../2-i2c-tools_4.3-2+b3_amd64.deb ... Unpacking i2c-tools (4.3-2+b3) ... Selecting previously unselected package libi2c-dev:amd64. Preparing to unpack .../3-libi2c-dev_4.3-2+b3_amd64.deb ... Unpacking libi2c-dev:amd64 (4.3-2+b3) ... Selecting previously unselected package libx86-1:amd64. Preparing to unpack .../4-libx86-1_1.1+ds1-12_amd64.deb ... Unpacking libx86-1:amd64 (1.1+ds1-12) ... Selecting previously unselected package read-edid. Preparing to unpack .../5-read-edid_3.0.2-1.1_amd64.deb ... Unpacking read-edid (3.0.2-1.1) ... Setting up libx86-1:amd64 (1.1+ds1-12) ... Setting up libi2c0:amd64 (4.3-2+b3) ... Setting up read-edid (3.0.2-1.1) ... Setting up libi2c-dev:amd64 (4.3-2+b3) ... Setting up udev (252.38-1~deb12u1) ... invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of start. Setting up i2c-tools (4.3-2+b3) ... Failed to send reload request: No such file or directory Processing triggers for libc-bin (2.36-9+deb12u8) ... Note: Deploying libpulse=16.1.0... The system package 'libpulse-dev' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libasyncns0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 38017 files and directories currently installed.) Preparing to unpack .../00-libasyncns0_0.8-6+b3_amd64.deb ... Unpacking libasyncns0:amd64 (0.8-6+b3) ... Selecting previously unselected package libogg0:amd64. Preparing to unpack .../01-libogg0_1.3.5-3_amd64.deb ... Unpacking libogg0:amd64 (1.3.5-3) ... Selecting previously unselected package libflac12:amd64. Preparing to unpack .../02-libflac12_1.4.2+ds-2_amd64.deb ... Unpacking libflac12:amd64 (1.4.2+ds-2) ... Selecting previously unselected package libmp3lame0:amd64. Preparing to unpack .../03-libmp3lame0_3.100-6_amd64.deb ... Unpacking libmp3lame0:amd64 (3.100-6) ... Selecting previously unselected package libmpg123-0:amd64. Preparing to unpack .../04-libmpg123-0_1.31.2-1+deb12u1_amd64.deb ... Unpacking libmpg123-0:amd64 (1.31.2-1+deb12u1) ... Selecting previously unselected package libopus0:amd64. Preparing to unpack .../05-libopus0_1.3.1-3_amd64.deb ... Unpacking libopus0:amd64 (1.3.1-3) ... Selecting previously unselected package libvorbis0a:amd64. Preparing to unpack .../06-libvorbis0a_1.3.7-1_amd64.deb ... Unpacking libvorbis0a:amd64 (1.3.7-1) ... Selecting previously unselected package libvorbisenc2:amd64. Preparing to unpack .../07-libvorbisenc2_1.3.7-1_amd64.deb ... Unpacking libvorbisenc2:amd64 (1.3.7-1) ... Selecting previously unselected package libsndfile1:amd64. Preparing to unpack .../08-libsndfile1_1.2.0-1_amd64.deb ... Unpacking libsndfile1:amd64 (1.2.0-1) ... Selecting previously unselected package libpulse0:amd64. Preparing to unpack .../09-libpulse0_16.1+dfsg1-2+b1_amd64.deb ... Unpacking libpulse0:amd64 (16.1+dfsg1-2+b1) ... Selecting previously unselected package libpulse-mainloop-glib0:amd64. Preparing to unpack .../10-libpulse-mainloop-glib0_16.1+dfsg1-2+b1_amd64.deb ... Unpacking libpulse-mainloop-glib0:amd64 (16.1+dfsg1-2+b1) ... Selecting previously unselected package libpulse-dev:amd64. Preparing to unpack .../11-libpulse-dev_16.1+dfsg1-2+b1_amd64.deb ... Unpacking libpulse-dev:amd64 (16.1+dfsg1-2+b1) ... Setting up libmpg123-0:amd64 (1.31.2-1+deb12u1) ... Setting up libogg0:amd64 (1.3.5-3) ... Setting up libflac12:amd64 (1.4.2+ds-2) ... Setting up libopus0:amd64 (1.3.1-3) ... Setting up libvorbis0a:amd64 (1.3.7-1) ... Setting up libasyncns0:amd64 (0.8-6+b3) ... Setting up libmp3lame0:amd64 (3.100-6) ... Setting up libvorbisenc2:amd64 (1.3.7-1) ... Setting up libsndfile1:amd64 (1.2.0-1) ... Setting up libpulse0:amd64 (16.1+dfsg1-2+b1) ... Setting up libpulse-mainloop-glib0:amd64 (16.1+dfsg1-2+b1) ... Setting up libpulse-dev:amd64 (16.1+dfsg1-2+b1) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... 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 1.06 seconds. Found declared GPR file: linux_hal.gpr [alr test] Test completed SUCCESSFULLY