Test ran at 2025-07-25 00:45:18.116738+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 Selecting previously unselected package libgpiod2t64: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 ... 219605 files and directories currently installed.) Preparing to unpack .../libgpiod2t64_1.6.3-1.1build1_amd64.deb ... Unpacking libgpiod2t64:amd64 (1.6.3-1.1build1) ... Selecting previously unselected package libgpiod-dev:amd64. Preparing to unpack .../libgpiod-dev_1.6.3-1.1build1_amd64.deb ... Unpacking libgpiod-dev:amd64 (1.6.3-1.1build1) ... Setting up libgpiod2t64:amd64 (1.6.3-1.1build1) ... Setting up libgpiod-dev:amd64 (1.6.3-1.1build1) ... Processing triggers for libc-bin (2.39-0ubuntu8.5) ... Running kernel seems to be up-to-date. Restarting services... Service restarts being deferred: systemctl restart hosted-compute-agent.service No containers need to be restarted. No user sessions are running outdated binaries. No VM guests are running outdated hypervisor (qemu) binaries on this host. 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 Selecting previously unselected package libi2c0: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 ... 219625 files and directories currently installed.) Preparing to unpack .../libi2c0_4.3-4build2_amd64.deb ... Unpacking libi2c0:amd64 (4.3-4build2) ... Selecting previously unselected package libx86-1:amd64. Preparing to unpack .../libx86-1_1.1+ds1-12build1_amd64.deb ... Unpacking libx86-1:amd64 (1.1+ds1-12build1) ... Selecting previously unselected package read-edid. Preparing to unpack .../read-edid_3.0.2-1.1_amd64.deb ... Unpacking read-edid (3.0.2-1.1) ... Selecting previously unselected package i2c-tools. Preparing to unpack .../i2c-tools_4.3-4build2_amd64.deb ... Unpacking i2c-tools (4.3-4build2) ... Selecting previously unselected package libi2c-dev:amd64. Preparing to unpack .../libi2c-dev_4.3-4build2_amd64.deb ... Unpacking libi2c-dev:amd64 (4.3-4build2) ... Setting up libx86-1:amd64 (1.1+ds1-12build1) ... Setting up libi2c0:amd64 (4.3-4build2) ... Setting up read-edid (3.0.2-1.1) ... Setting up libi2c-dev:amd64 (4.3-4build2) ... Setting up i2c-tools (4.3-4build2) ... Processing triggers for man-db (2.12.0-4build2) ... Processing triggers for libc-bin (2.39-0ubuntu8.5) ... Running kernel seems to be up-to-date. Restarting services... Service restarts being deferred: systemctl restart hosted-compute-agent.service No containers need to be restarted. No user sessions are running outdated binaries. No VM guests are running outdated hypervisor (qemu) binaries on this host. 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 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 ... 219675 files and directories currently installed.) Preparing to unpack .../00-libasyncns0_0.8-6build4_amd64.deb ... Unpacking libasyncns0:amd64 (0.8-6build4) ... Selecting previously unselected package libflac12t64:amd64. Preparing to unpack .../01-libflac12t64_1.4.3+ds-2.1ubuntu2_amd64.deb ... Unpacking libflac12t64:amd64 (1.4.3+ds-2.1ubuntu2) ... Selecting previously unselected package libgirepository-2.0-0:amd64. Preparing to unpack .../02-libgirepository-2.0-0_2.80.0-6ubuntu3.4_amd64.deb ... Unpacking libgirepository-2.0-0:amd64 (2.80.0-6ubuntu3.4) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../03-libglib2.0-dev-bin_2.80.0-6ubuntu3.4_amd64.deb ... Unpacking libglib2.0-dev-bin (2.80.0-6ubuntu3.4) ... Selecting previously unselected package uuid-dev:amd64. Preparing to unpack .../04-uuid-dev_2.39.3-9ubuntu6.3_amd64.deb ... Unpacking uuid-dev:amd64 (2.39.3-9ubuntu6.3) ... Selecting previously unselected package libblkid-dev:amd64. Preparing to unpack .../05-libblkid-dev_2.39.3-9ubuntu6.3_amd64.deb ... Unpacking libblkid-dev:amd64 (2.39.3-9ubuntu6.3) ... Selecting previously unselected package libsepol-dev:amd64. Preparing to unpack .../06-libsepol-dev_3.5-2build1_amd64.deb ... Unpacking libsepol-dev:amd64 (3.5-2build1) ... Selecting previously unselected package libselinux1-dev:amd64. Preparing to unpack .../07-libselinux1-dev_3.5-2ubuntu2.1_amd64.deb ... Unpacking libselinux1-dev:amd64 (3.5-2ubuntu2.1) ... Selecting previously unselected package libmount-dev:amd64. Preparing to unpack .../08-libmount-dev_2.39.3-9ubuntu6.3_amd64.deb ... Unpacking libmount-dev:amd64 (2.39.3-9ubuntu6.3) ... Selecting previously unselected package libglib2.0-dev:amd64. Preparing to unpack .../09-libglib2.0-dev_2.80.0-6ubuntu3.4_amd64.deb ... Unpacking libglib2.0-dev:amd64 (2.80.0-6ubuntu3.4) ... Selecting previously unselected package libmp3lame0:amd64. Preparing to unpack .../10-libmp3lame0_3.100-6build1_amd64.deb ... Unpacking libmp3lame0:amd64 (3.100-6build1) ... Selecting previously unselected package libmpg123-0t64:amd64. Preparing to unpack .../11-libmpg123-0t64_1.32.5-1ubuntu1.1_amd64.deb ... Unpacking libmpg123-0t64:amd64 (1.32.5-1ubuntu1.1) ... Selecting previously unselected package libopus0:amd64. Preparing to unpack .../12-libopus0_1.4-1build1_amd64.deb ... Unpacking libopus0:amd64 (1.4-1build1) ... Selecting previously unselected package libvorbisenc2:amd64. Preparing to unpack .../13-libvorbisenc2_1.3.7-1build3_amd64.deb ... Unpacking libvorbisenc2:amd64 (1.3.7-1build3) ... Selecting previously unselected package libsndfile1:amd64. Preparing to unpack .../14-libsndfile1_1.2.2-1ubuntu5.24.04.1_amd64.deb ... Unpacking libsndfile1:amd64 (1.2.2-1ubuntu5.24.04.1) ... Selecting previously unselected package libpulse0:amd64. Preparing to unpack .../15-libpulse0_1%3a16.1+dfsg1-2ubuntu10.1_amd64.deb ... Unpacking libpulse0:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Selecting previously unselected package libpulse-mainloop-glib0:amd64. Preparing to unpack .../16-libpulse-mainloop-glib0_1%3a16.1+dfsg1-2ubuntu10.1_amd64.deb ... Unpacking libpulse-mainloop-glib0:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Selecting previously unselected package libpulse-dev:amd64. Preparing to unpack .../17-libpulse-dev_1%3a16.1+dfsg1-2ubuntu10.1_amd64.deb ... Unpacking libpulse-dev:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Setting up libglib2.0-dev-bin (2.80.0-6ubuntu3.4) ... Setting up libgirepository-2.0-0:amd64 (2.80.0-6ubuntu3.4) ... Setting up libmpg123-0t64:amd64 (1.32.5-1ubuntu1.1) ... Setting up uuid-dev:amd64 (2.39.3-9ubuntu6.3) ... Setting up libopus0:amd64 (1.4-1build1) ... Setting up libsepol-dev:amd64 (3.5-2build1) ... Setting up libasyncns0:amd64 (0.8-6build4) ... Setting up libflac12t64:amd64 (1.4.3+ds-2.1ubuntu2) ... Setting up libmp3lame0:amd64 (3.100-6build1) ... Setting up libvorbisenc2:amd64 (1.3.7-1build3) ... Setting up libblkid-dev:amd64 (2.39.3-9ubuntu6.3) ... Setting up libselinux1-dev:amd64 (3.5-2ubuntu2.1) ... Setting up libsndfile1:amd64 (1.2.2-1ubuntu5.24.04.1) ... Setting up libmount-dev:amd64 (2.39.3-9ubuntu6.3) ... Setting up libpulse0:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Setting up libglib2.0-dev:amd64 (2.80.0-6ubuntu3.4) ... Setting up libpulse-mainloop-glib0:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Processing triggers for libc-bin (2.39-0ubuntu8.5) ... Processing triggers for man-db (2.12.0-4build2) ... Processing triggers for libglib2.0-0t64:amd64 (2.80.0-6ubuntu3.4) ... Setting up libpulse-dev:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Running kernel seems to be up-to-date. Restarting services... Service restarts being deferred: systemctl restart hosted-compute-agent.service No containers need to be restarted. No user sessions are running outdated binaries. No VM guests are running outdated hypervisor (qemu) binaries on this host. 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.86 seconds. Found declared GPR file: linux_hal.gpr [alr test] Test completed SUCCESSFULLY