Test ran at 2025-07-24 12:27:13.235478+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 hal=1.0.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 ... 222675 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 ... 222695 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 ... 222745 files and directories currently installed.) Preparing to unpack .../0-libasyncns0_0.8-6build4_amd64.deb ... Unpacking libasyncns0:amd64 (0.8-6build4) ... Selecting previously unselected package libflac12t64:amd64. Preparing to unpack .../1-libflac12t64_1.4.3+ds-2.1ubuntu2_amd64.deb ... Unpacking libflac12t64:amd64 (1.4.3+ds-2.1ubuntu2) ... Selecting previously unselected package libmp3lame0:amd64. Preparing to unpack .../2-libmp3lame0_3.100-6build1_amd64.deb ... Unpacking libmp3lame0:amd64 (3.100-6build1) ... Selecting previously unselected package libmpg123-0t64:amd64. Preparing to unpack .../3-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 .../4-libopus0_1.4-1build1_amd64.deb ... Unpacking libopus0:amd64 (1.4-1build1) ... Selecting previously unselected package libvorbisenc2:amd64. Preparing to unpack .../5-libvorbisenc2_1.3.7-1build3_amd64.deb ... Unpacking libvorbisenc2:amd64 (1.3.7-1build3) ... Selecting previously unselected package libsndfile1:amd64. Preparing to unpack .../6-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 .../7-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 .../8-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 .../9-libpulse-dev_1%3a16.1+dfsg1-2ubuntu10.1_amd64.deb ... Unpacking libpulse-dev:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Setting up libmpg123-0t64:amd64 (1.32.5-1ubuntu1.1) ... Setting up libopus0:amd64 (1.4-1build1) ... 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 libsndfile1:amd64 (1.2.2-1ubuntu5.24.04.1) ... Setting up libpulse0:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Setting up libpulse-mainloop-glib0:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... Setting up libpulse-dev:amd64 (1:16.1+dfsg1-2ubuntu10.1) ... 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. 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 HAL [mkdir] library directory for project HAL [mkdir] object directory for project Linux_Hal Compile [Ada] hal-uart.ads [Ada] hal-audio.ads [Ada] hal-flash.ads [Ada] hal-i2c.ads [Ada] hal-block_drivers.ads [Ada] hal-gpio.ads [Ada] hal-spi.ads [Ada] hal-real_time_clock.ads [Ada] hal-dsi.ads [Ada] hal.ads [Ada] hal-filesystem.ads [Ada] hal-time.ads [Ada] hal-touch_panel.ads [Ada] hal-sdmmc.adb [Ada] hal-framebuffer.ads [Ada] hal-bitmap.ads [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] hal.lexch [gprlib] Linux_Hal.lexch [archive] libhal.a [index] libhal.a [archive] libLinux_Hal.a [index] libLinux_Hal.a Success: Build finished successfully in 1.30 seconds. Found declared GPR file: linux_hal.gpr [alr test] Test completed SUCCESSFULLY