Test ran at 2025-03-16 01:22:08.519007+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=14.2.1 (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=14.2.1 (gnat_native) (>=13) gnatcoll=25.0.0 --> libgpr=25.0.0 (~25.0.0) libgpr=25.0.0 --> gnat=14.2.1 (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=14.2.1 (gnat_native) (>=11) LOG: Spawning: alr -d -n get --build spat=1.3.0 Note: Deploying spat=1.3.0... Note: Migrating lockfile from /home/runner/work/alire-crates-ci/alire-crates-ci/test/9ba76c76-879b-4afb-b5b1-482877914bfd/spat_1.3.0_4ad4ab14/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/9ba76c76-879b-4afb-b5b1-482877914bfd/spat_1.3.0_4ad4ab14/alire/alire.lock Note: Deploying si_units=0.2.0... Note: Deploying libgpr=25.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # # #=O=# # 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_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-names.ads [Ada] si_units-metric-scaling.adb [Ada] si_units-binary-scaling.adb [Ada] si_units-metric.adb [Ada] si_units.ads [Ada] si_units-binary.adb [Ada] si_units-float_io.ads [Ada] schema-simple_types.adb [Ada] schema.adb [Ada] schema-validators.adb [Ada] schema-decimal.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/9ba76c76-879b-4afb-b5b1-482877914bfd/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/9ba76c76-879b-4afb-b5b1-482877914bfd/spat_1.3.0_4ad4ab14/spat.gpr"] 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/9ba76c76-879b-4afb-b5b1-482877914bfd/spat_1.3.0_4ad4ab14/spat.gpr"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/usr/bin/alr] 0xe16f5e Alire.Raise_Checked_Error at alire.adb:284 0xa845be Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111 0xcef7be Alire.Spawn.Command at alire-spawn.adb:21 0xcefdde Alire.Spawn.Gprbuild at alire-spawn.adb:41 0xc31d1f Alire.Roots.Build at alire-roots.adb:186 0xc304da Alire.Roots.Build at alire-roots.adb:252 0xc53d6f Alire.Roots.Traverse at alire-roots.adb:2075 0xcba1fd Alire.Solutions.Traverse.Visit at alire-solutions.adb:1480 0xcb9344 Alire.Solutions.Traverse at alire-solutions.adb:1563 0xc53e62 Alire.Roots.Traverse at alire-roots.adb:2079 0xc53f21 Alire.Roots.Traverse at alire-roots.adb:2059 0xc30a46 Alire.Roots.Build at alire-roots.adb:283 0xc30b2b Alire.Roots.Build at alire-roots.adb:111 0x4a5e38 Alr.Commands.Get.Retrieve at alr-commands-get.adb:205 0x4a94f3 Alr.Commands.Get.Execute at alr-commands-get.adb:378 0x4a96a1 Alr.Commands.Get.Execute at alr-commands-get.adb:256 0x533c96 Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749 0x53eff7 Alr.Commands.Execute at alr-commands.adb:561 0x43953a Alr.Main at alr-main.adb:13 0x43c1d3 Main at b__alr-main.adb:2299 [/lib64/libc.so.6] 0x7fb2161d2086 0x7fb2161d2149 [/usr/bin/alr] 0x4393dc _start at ??? 0xfffffffffffffffe Warning: spat=1.3.0 successfully retrieved but its build failed. Dependencies were solved as follows: +b gnat 14.2.1 (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) ERROR: Build ended with errors