Test ran at 2025-08-22 13:22:46.656437+00:00 SOLUTION: bare_runtime=14.0.0: Minimal Ada/SPARK run-time for embedded or other restricted targets Origin: commit 095db6f0be63e3ee266b8dea6d00e8d0e07e7144 from https://github.com/Fabien-Chouteau/bare_runtime.git Properties: Author: AdaCore Config type: LCH_Print_Info : Boolean default: 'false' Config type: LCH_Reset : Boolean default: 'false' Configuration: no modifiers Description: Minimal Ada/SPARK run-time for embedded or other restricted targets License: GPL-3.0-or-later WITH GCC-exception-3.1 Long_Description: ## Usage First edit you `alire.toml` file and add the following elements: - Add `bare_runtime` in the dependency list: ```toml [[depends-on]] bare_runtime = "*" ``` - Add cross GNAT in the dependency list (e.g. gnat_arm_elf): ```toml [[depends-on]] gnat_arm_elf = "*" ``` - Set the architecture build switches, we use ARM Cortex-M4F as an example here: ```toml [gpr-set-externals] BARE_RUNTIME_SWITCHES = "-mlittle-endian -mthumb -mfloat-abi=hard -mcpu=cortex-m4 -mfpu=fpv4-sp-d16" ``` Then edit your project file to add the following elements: - "with" the run-time project file. With this, gprbuild will compile the run-time before your application ```ada with "bare_runtime.gpr"; ``` - Specify the `Target` and `Runtime` attributes: ```ada for Target use "arm-eabi"; for Runtime ("Ada") use Bare_Runtime'Runtime ("Ada"); Maintainer: Fabien Chouteau Maintainers_Logins: Fabien-Chouteau Name: bare_runtime Tag: embedded Tag: runtime Version: 14.0.0 Website: https://github.com/Fabien-Chouteau/bare_runtime Dependencies (direct): gnat^14 Dependencies (solution): gnat=14.2.0 (gnat_external) Dependencies (graph): bare_runtime=14.0.0 --> gnat=14.2.0 (gnat_external) (^14) LOG: [alr test] Testing bare_runtime=14.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get bare_runtime=14.0.0 Note: Deploying bare_runtime=14.0.0... bare_runtime=14.0.0 successfully retrieved. Dependencies were solved as follows: +b gnat 14.2.0 (new,gnat_external,executable in path) i The solution requires a toolchain that is not yet installed. Accepting the solution will download and install this toolchain. [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building bare_runtime=14.0.0/bare_runtime.gpr... /root/.local/share/alire/toolchains/gprbuild_25.0.1_9a2e6cfb/bin/gprbuild: /lib64/libc.so.6: version `GLIBC_2.35' not found (required by /root/.local/share/alire/toolchains/gprbuild_25.0.1_9a2e6cfb/bin/gprbuild) stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/2f0772af-61d9-41c3-a99a-28541f62a172/bare_runtime_14.0.0_095db6f0/bare_runtime.gpr", "-cargs:Ada", "-gnatwn"] exited with code 1 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/2f0772af-61d9-41c3-a99a-28541f62a172/bare_runtime_14.0.0_095db6f0/bare_runtime.gpr", "-cargs:Ada", "-gnatwn"] exited with code 1 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/2f0772af-61d9-41c3-a99a-28541f62a172/bare_runtime_14.0.0_095db6f0/bare_runtime.gpr", "-cargs:Ada", "-gnatwn"] exited with code 1 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/usr/bin/alr] 0xe75bc6 Alire.Raise_Checked_Error at alire.adb:284 0xac1a54 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xd40276 Alire.Spawn.Command at alire-spawn.adb:22 0xd412ee Alire.Spawn.Gprbuild at alire-spawn.adb:68 0xc748cb Alire.Roots.Build at alire-roots.adb:189 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib64/libc.so.6] 0x7f543c1cc5ce 0x7f543c1cc67e [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED stderr: alire-roots.adb:202 stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202 [/usr/bin/alr] 0xc74cc7 Alire.Roots.Build at alire-roots.adb:202 0xc7301a Alire.Roots.Build at alire-roots.adb:255 0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143 0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472 0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555 0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147 0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127 0xc7359b Alire.Roots.Build at alire-roots.adb:286 0xc736d7 Alire.Roots.Build at alire-roots.adb:114 0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145 0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113 0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54 0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x5472be Alr.Commands.Execute at alr-commands.adb:632 0x43d48a Alr.Main at alr-main.adb:13 0x4403a3 Main at b__alr-main.adb:2445 [/lib64/libc.so.6] 0x7f543c1cc5ce 0x7f543c1cc67e [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.