Test ran at 2025-11-01 00:44:57.227603+00:00 SOLUTION: elevator=1.0.0: A Simple Elevator System Origin: commit b439645aabfe091eef46b3a3174e47ffa86e3930 from https://github.com/ada-Soton/elevator.git Properties: Author: Thai Son Hoang Description: A Simple Elevator System Executable: main License: CC-BY-SA-4.0 Maintainer: Thai Son Hoang Maintainers_Logins: tshoang Name: elevator Tag: elevator Tag: teaching Version: 1.0.0 Website: https://github.com/ada-Soton/elevator Dependencies (direct): gnatprove^12.1.1 Dependencies (solution): gnatprove=12.1.1 Dependencies (graph): elevator=1.0.0 --> gnatprove=12.1.1 (^12.1.1) LOG: [alr test] Testing elevator=1.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get elevator=1.0.0 Note: Deploying elevator=1.0.0... Note: Deploying gnatprove=12.1.1... #=#=# ##O#-# 0.0% ## 3.2% #### 6.4% ###### 9.6% ########## 14.8% ############# 19.3% ################# 24.4% ################### 27.3% ####################### 32.1% ########################### 38.6% ############################## 42.4% ################################## 48.2% ###################################### 53.0% ######################################### 57.8% ############################################# 62.8% ################################################ 67.5% #################################################### 73.2% ####################################################### 77.1% ########################################################### 82.4% ############################################################## 86.8% ################################################################# 91.3% ##################################################################### 95.9% ####################################################################### 99.6% ######################################################################## 100.0% elevator=1.0.0 successfully retrieved. Dependencies were solved as follows: +b gnatprove 12.1.1 (new,binary) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building elevator=1.0.0/elevator.gpr... Setup [mkdir] object directory for project Elevator [mkdir] exec directory for project Elevator Compile [Ada] main.adb [Ada] cabin_package.adb [Ada] controller_package.adb [Ada] elevator.adb [Ada] user_package.adb [Ada] floor_package.ads [Ada] motor_package.ads [Ada] button_package.ads [Ada] direction_package.ads [Ada] door_package.ads Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib/x86_64-linux-gnu/libc.so.6: unknown type [0x13] section `.relr.dyn' /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libc.so.6 when searching for /lib/x86_64-linux-gnu/libc.so.6 /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find /lib/x86_64-linux-gnu/libc.so.6 /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib/x86_64-linux-gnu/libc.so.6: unknown type [0x13] section `.relr.dyn' /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libc.so.6 when searching for /lib/x86_64-linux-gnu/libc.so.6 /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib64/ld-linux-x86-64.so.2: unknown type [0x13] section `.relr.dyn' /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib64/ld-linux-x86-64.so.2 when searching for /lib64/ld-linux-x86-64.so.2 /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find /lib64/ld-linux-x86-64.so.2 /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib64/ld-linux-x86-64.so.2: unknown type [0x13] section `.relr.dyn' /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib64/ld-linux-x86-64.so.2 when searching for /lib64/ld-linux-x86-64.so.2 collect2: error: ld returned 1 exit status gprbuild: link of main.adb failed gprbuild: failed command was: /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/gcc main.o b__main.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/direction_package.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/door_package.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/floor_package.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/button_package.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/motor_package.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/elevator.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/cabin_package.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/controller_package.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/user_package.o -L/home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/ -L/home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/obj/release/ -L/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib/ -static-libgcc /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib/libgnat.a -ldl -Wl,-rpath-link,/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0//adalib -Wl,-z,origin,-rpath,$ORIGIN/..//obj/release:$ORIGIN/../../../../../../..//.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib -o /home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/bin//main stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/elevator.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/elevator.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: ALIRE.CHECKED_ERROR stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/87ffc05c-a8c8-4dcf-b9be-0b229ee536fc/elevator_1.0.0_b439645a/elevator.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/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 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f96c782a1c8 0x7f96c782a289 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/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 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/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 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f96c782a1c8 0x7f96c782a289 [/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.