Test ran at 2025-07-20 13:03:55.323472+00:00 SOLUTION: spat=1.3.0: SPAT - SPARK Proof Analysis Tool Origin: commit 4ad4ab14447ac8cbbedcb8d47f026a66a73551d7 from https://github.com/HeisenbugLtd/spat.git Properties: Author: Vinzent "Jellix" Saranen Description: SPAT - SPARK Proof Analysis Tool Executable: run_spat License: WTFPL Long_Description: SPAT - SPARK Proof Analysis Tools Helper tool to obtain, analyse, sort, and filter timing information about `gnatprove` runs (`SPARK` tools). Maintainer: vinzent@heisenbug.eu Maintainers_Logins: Jellix Name: spat Project_File: spat.gpr Tag: spark Version: 1.3.0 Website: https://github.heisenbug.eu/spat Dependencies (direct): case Toolchain is when System => gnatcoll>=19 si_units~0.2 Dependencies (solution): gnat=15.1.2 (gnat_native) gnatcoll=25.0.0 libgpr=25.0.0 si_units=0.2.0 xmlada=25.0.0 Dependencies (graph): gnatcoll=25.0.0 --> gnat=15.1.2 (gnat_native) (>=13) gnatcoll=25.0.0 --> libgpr=25.0.0 (~25.0.0) libgpr=25.0.0 --> gnat=15.1.2 (gnat_native) (/=2020) libgpr=25.0.0 --> xmlada=25.0.0 (~25.0.0) spat=1.3.0 --> gnatcoll=25.0.0 (>=19) spat=1.3.0 --> si_units=0.2.0 (~0.2) xmlada=25.0.0 --> gnat=15.1.2 (gnat_native) (>=11) LOG: [alr test] Testing spat=1.3.0 [alr test] Spawning retrieval for remote crate: alr -d -n get spat=1.3.0 Note: Deploying spat=1.3.0... Note: Migrating lockfile from /home/runner/work/alire-crates-ci/alire-crates-ci/test/7024ade5-a75f-4abe-8f0c-50cf57ec3ff2/spat_1.3.0_4ad4ab14/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/7024ade5-a75f-4abe-8f0c-50cf57ec3ff2/spat_1.3.0_4ad4ab14/alire/alire.lock Note: Deploying si_units=0.2.0... Note: Deploying xmlada=25.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying libgpr=25.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # # #=O=# # spat=1.3.0 successfully retrieved. Dependencies were solved as follows: +b gnat 15.1.2 (new,gnat_native,indirect,binary) + gnatcoll 25.0.0 (new) + libgpr 25.0.0 (new,indirect) + si_units 0.2.0 (new) + xmlada 25.0.0 (new,indirect) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Running post-fetch actions for xmlada=25.0.0... checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking target system type... x86_64-pc-linux-gnu checking whether gnat can build shared libs... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes configure: creating ./config.status config.status: creating xmlada_shared.gpr config.status: creating Makefile config.status: creating tests/dom/default.gpr Note: Building spat=1.3.0/spat.gpr... Setup [mkdir] object directory for project GNATCOLL_Minimal [mkdir] library directory for project GNATCOLL_Minimal [mkdir] object directory for project GNATCOLL_Core [mkdir] library directory for project GNATCOLL_Core [mkdir] object directory for project XmlAda_Sax [mkdir] library directory for project XmlAda_Sax [mkdir] object directory for project XmlAda_Schema [mkdir] object directory for project GPR [mkdir] library directory for project GPR [mkdir] object directory for project GNATCOLL_Projects [mkdir] library directory for project GNATCOLL_Projects [mkdir] object directory for project SI_Units [mkdir] library directory for project SI_Units Compile [Ada] run_spat.adb [Ada] si_units.ads [Ada] si_units-binary-scaling.adb [Ada] si_units-binary.adb [Ada] si_units-metric.adb [Ada] si_units-float_io.ads [Ada] si_units-metric-scaling.adb [Ada] si_units-names.ads [Ada] schema-schema_readers.adb [Ada] schema-readers.adb [Ada] schema-validators.adb run_spat.adb:24:14: warning: unit "GNATCOLL.Projects" is not referenced [-gnatwu] spat-command_line.ads:134:04: error: instantiation error at gnatcoll-opt_parse.ads:632 spat-command_line.ads:134:04: error: "List_Stop_Predicate" is not visible spat-command_line.ads:134:04: error: instantiation error at gnatcoll-opt_parse.ads:632 spat-command_line.ads:134:04: error: non-visible declaration at gnatcoll-opt_parse.ads:632 spat-command_line.ads:134:04: error: instantiation error at gnatcoll-opt_parse.ads:632 spat-command_line.ads:134:04: error: non-visible declaration at gnatcoll-opt_parse.ads:290 compilation of run_spat.adb failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/7024ade5-a75f-4abe-8f0c-50cf57ec3ff2/spat_1.3.0_4ad4ab14/spat.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/7024ade5-a75f-4abe-8f0c-50cf57ec3ff2/spat_1.3.0_4ad4ab14/spat.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/7024ade5-a75f-4abe-8f0c-50cf57ec3ff2/spat_1.3.0_4ad4ab14/spat.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4 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 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f78e91711c8 0x7f78e9171289 [/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 [/lib/x86_64-linux-gnu/libc.so.6] 0x7f78e91711c8 0x7f78e9171289 [/usr/bin/alr] 0x43d323 _start at ??? 0xfffffffffffffffe ERROR: Compilation failed.