Test ran at 2024-04-13 12:41:39.562880+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):

   si_units=0.2.0

Dependencies (graph):

   spat=1.3.0 --> si_units=0.2.0 (~0.2)



LOG:
Note: Deploying spat=1.3.0...
Note: Migrating lockfile from D:\a\alire-crates-ci\alire-crates-ci\test\ebbdc800-cb64-42c3-9e28-22b4e50c3382\spat_1.3.0_4ad4ab14\alire.lock to D:\a\alire-crates-ci\alire-crates-ci\test\ebbdc800-cb64-42c3-9e28-22b4e50c3382\spat_1.3.0_4ad4ab14\alire\alire.lock
Note: Deploying si_units=0.2.0...
Note: Building spat/spat.gpr...
spat.gpr:1:06: imported project file "gnatcoll" not found
gprbuild: "D:\a\alire-crates-ci\alire-crates-ci\test\ebbdc800-cb64-42c3-9e28-22b4e50c3382\spat_1.3.0_4ad4ab14\spat.gpr" processing failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\ebbdc800-cb64-42c3-9e28-22b4e50c3382\spat_1.3.0_4ad4ab14\spat.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\ebbdc800-cb64-42c3-9e28-22b4e50c3382\spat_1.3.0_4ad4ab14\spat.gpr"] exited with code 4
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "D:\a\alire-crates-ci\alire-crates-ci\test\ebbdc800-cb64-42c3-9e28-22b4e50c3382\spat_1.3.0_4ad4ab14\spat.gpr"] exited with code 4
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[D:\a\alire-crates-ci\alire-crates-ci\alire_install\bin\alr.exe]
0xdc98eb Semantic_Versioning.Basic.At_Least at alire.adb:251
0xa63e32 Semantic_Versioning.Basic.At_Least at alire-os_lib-subprocess.adb:110
0xc9b793 Semantic_Versioning.Basic.At_Least at alire-spawn.adb:21
0xc9bee4 Semantic_Versioning.Basic.At_Least at alire-spawn.adb:41
0xbfc3e0 Semantic_Versioning.Basic.At_Least at alire-roots.adb:140
0xbfa8e7 Semantic_Versioning.Basic.At_Least at alire-roots.adb:171
0xc17363 Semantic_Versioning.Basic.At_Least at alire-roots.adb:1364
0xc62228 Semantic_Versioning.Basic.At_Least at alire-solutions.adb:1443
0xc60e50 Semantic_Versioning.Basic.At_Least at alire-solutions.adb:1518
0xc174a4 Semantic_Versioning.Basic.At_Least at alire-roots.adb:1368
0xbfac57 Semantic_Versioning.Basic.At_Least at alire-roots.adb:196
0x47726b Semantic_Versioning.Basic.At_Least at alr-commands-build.adb:58
0x488aa6 Semantic_Versioning.Basic.At_Least at alr-commands-get.adb:187
0x48d3cc Semantic_Versioning.Basic.At_Least at alr-commands-get.adb:348
0x51c0a3 Semantic_Versioning.Basic.At_Least at clic-subcommand-instance.adb:742
0x528a27 Semantic_Versioning.Basic.At_Least at alr-commands.adb:492
0x401761 Alr.Main at alr-main.adb:10
0x404bd6 Main at b__alr-main.adb:2130
0x401423 __tmainCRTStartup at ???
0x40113b mainCRTStartup at ???
[C:\Windows\System32\KERNEL32.DLL]
0x7ffe8e0d4cae
[C:\Windows\SYSTEM32\ntdll.dll]
0x7ffe8f25e8a9


Warning: spat=1.3.0 successfully retrieved but its build failed.
Dependencies were solved as follows:

   + si_units 0.2.0 (new)
ERROR: Build ended with errors