Test ran at 2025-02-17 12:58:44.627036+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=13.2.0 (gnat_external) gnatcoll=25.0.0 libgpr=25.0.0 si_units=0.2.0 xmlada=25.0.0 Dependencies (graph): gnatcoll=25.0.0 --> gnat=13.2.0 (gnat_external) (>=13) gnatcoll=25.0.0 --> libgpr=25.0.0 (~25.0.0) libgpr=25.0.0 --> gnat=13.2.0 (gnat_external) (/=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=13.2.0 (gnat_external) (>=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/1451f0ac-1705-414d-8fb5-2a402b473223/spat_1.3.0_4ad4ab14/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/1451f0ac-1705-414d-8fb5-2a402b473223/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=# # Note: Alire has selected automatically this toolchain: gprbuild=22.0.1 gnat_native=14.2.1 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=22.0.1... #=#=# ##################################### 52.1% ######################################################################## 100.0% Note: gprbuild=22.0.1 installed successfully. Note: Deploying gnat_native=14.2.1... #=#=# ## 2.9% ######## 11.7% ############### 21.3% ###################### 31.1% ########################### 38.1% ################################# 47.2% ######################################## 56.4% ############################################### 65.7% ###################################################### 75.8% ############################################################# 85.9% ##################################################################### 96.2% ######################################################################## 100.0% Note: gnat_native=14.2.1 installed successfully. 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... no 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... gprconfig: can't find a native toolchain for language 'ada' gprconfig: can't find a native toolchain for language 'ada' 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 spat.gpr:4:09: warning: there are no sources of language "C" in this project xmlada_unicode.gpr:26:09: warning: there are no sources of language "C" in this project xmlada_sax.gpr:28:09: warning: there are no sources of language "C" in this project xmlada_input.gpr:27:09: warning: there are no sources of language "C" in this project xmlada_dom.gpr:28:09: warning: there are no sources of language "C" in this project xmlada_schema.gpr:29:09: warning: there are no sources of language "C" in this project spat.gpr:8:18: "run_spat" is not a source of project "spat" gprbuild: problems with main sources stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/1451f0ac-1705-414d-8fb5-2a402b473223/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/1451f0ac-1705-414d-8fb5-2a402b473223/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/1451f0ac-1705-414d-8fb5-2a402b473223/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 [/lib/x86_64-linux-gnu/libc.so.6] 0x7fc921aef1c8 0x7fc921aef289 [/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 13.2.0 (new,gnat_external,indirect,executable in path) + 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