Test ran at 2024-07-24 01:26:54.403482+00:00 SOLUTION: adabots=1.8.1: Learn Ada by programming Minecraft robots Origin: commit d1ac6d8bdb748d7e5422d9e589cc5227ceae1308 from https://github.com/TamaMcGlinn/AdaBots.git Properties: Author: Tama McGlinn Description: Learn Ada by programming Minecraft robots License: MIT Maintainer: Tama McGlinn Maintainers_Logins: TamaMcGlinn Name: adabots Project_File: adabots.gpr Tag: learn Tag: ada Tag: minecraft Tag: computercraft Tag: robots Tag: teach Tag: children Version: 1.8.1 Dependencies (direct): json^5.0.3 utilada_curl^2.5.0 Dependencies (solution): json=5.0.3 libcurl=8.6.0 utilada=2.6.0 utilada_curl=2.6.0 Dependencies (graph): adabots=1.8.1 --> json=5.0.3 (^5.0.3) adabots=1.8.1 --> utilada_curl=2.6.0 (^2.5.0) utilada_curl=2.6.0 --> libcurl=8.6.0 (*) utilada_curl=2.6.0 --> utilada=2.6.0 (^2.6.0) LOG: Note: Deploying adabots=1.8.1... Note: Deploying json=5.0.3... Note: Deploying libcurl=8.6.0... The system package 'libcurl-devel' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes Last metadata expiration check: 0:19:53 ago on Wed Jul 24 01:06:57 2024. Dependencies resolved. ================================================================================ Package Architecture Version Repository Size ================================================================================ Installing: libcurl-devel x86_64 8.6.0-8.fc40 updates 853 k Upgrading: libcurl x86_64 8.6.0-8.fc40 updates 345 k Transaction Summary ================================================================================ Install 1 Package Upgrade 1 Package Total download size: 1.2 M Downloading Packages: (1/2): libcurl-8.6.0-8.fc40.x86_64.rpm 637 kB/s | 345 kB 00:00 (2/2): libcurl-devel-8.6.0-8.fc40.x86_64.rpm 1.4 MB/s | 853 kB 00:00 -------------------------------------------------------------------------------- Total 1.8 MB/s | 1.2 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Upgrading : libcurl-8.6.0-8.fc40.x86_64 1/3 Installing : libcurl-devel-8.6.0-8.fc40.x86_64 2/3 Cleanup : libcurl-8.6.0-7.fc40.x86_64 3/3 Running scriptlet: libcurl-8.6.0-7.fc40.x86_64 3/3 Upgraded: libcurl-8.6.0-8.fc40.x86_64 Installed: libcurl-devel-8.6.0-8.fc40.x86_64 Complete! Note: Deploying utilada=2.6.0... Note: Deploying utilada_curl=2.6.0... Note: Building json/json.gpr (1/2)... Setup [mkdir] object directory for project JSON [mkdir] library directory for project JSON Compile [Ada] json-types.adb [Ada] json.ads [Ada] json-tokenizers.adb [Ada] json-parsers.adb [Ada] json-streams.adb json-streams.ads:32:29: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:32:29: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:36:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:36:07: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:37:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:37:07: error: launch "gnatprove --explain=E0015" for more information json-parsers.ads:48:20: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-parsers.ads:48:20: error: launch "gnatprove --explain=E0015" for more information json-parsers.ads:54:04: error: instantiation error at a-coinho.ads:92 json-parsers.ads:54:04: error: launch "gnatprove --explain=E0015" for more information json-parsers.ads:54:04: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-parsers.ads:57:04: error: instantiation error at a-coinho.ads:92 json-parsers.ads:57:04: error: launch "gnatprove --explain=E0015" for more information json-parsers.ads:57:04: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:32:29: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:32:29: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:36:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:36:07: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:37:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:37:07: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:32:29: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:32:29: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:36:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:36:07: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:37:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:37:07: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:32:29: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:32:29: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:36:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:36:07: error: launch "gnatprove --explain=E0015" for more information json-streams.ads:37:07: error: function cannot have parameter of mode "out" or "in out" in SPARK [E0015] json-streams.ads:37:07: error: launch "gnatprove --explain=E0015" for more information compilation of json-streams.adb failed compilation of json-parsers.adb failed compilation of json-tokenizers.adb failed compilation of json-types.adb failed gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/35d2ad28-0187-4219-a163-1ceaae841f43/adabots_1.8.1_d1ac6d8b/alire/cache/dependencies/json_ada_fda3e8b1/json/json.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/35d2ad28-0187-4219-a163-1ceaae841f43/adabots_1.8.1_d1ac6d8b/alire/cache/dependencies/json_ada_fda3e8b1/json/json.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/35d2ad28-0187-4219-a163-1ceaae841f43/adabots_1.8.1_d1ac6d8b/alire/cache/dependencies/json_ada_fda3e8b1/json/json.gpr"] exited with code 4 stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1 [/usr/bin/alr] 0xd7ada2 Alire.Raise_Checked_Error at alire.adb:251 0xa423cf Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:110 0xc5cdee Alire.Spawn.Command at alire-spawn.adb:21 0xc5d51c Alire.Spawn.Gprbuild at alire-spawn.adb:41 0xbc1550 Alire.Roots.Build.Build_Single_Release.Call_Gprbuild at alire-roots.adb:140 0xbbfbaf Alire.Roots.Build.Build_Single_Release at alire-roots.adb:171 0xbdb95e Alire.Roots.Traverse.Traverse_Wrap at alire-roots.adb:1364 0xc25a8b Alire.Solutions.Traverse.Visit at alire-solutions.adb:1443 0xc241fa Alire.Solutions.Traverse at alire-solutions.adb:1502 0xbdbaac Alire.Roots.Traverse at alire-roots.adb:1368 0xbbff40 Alire.Roots.Build at alire-roots.adb:196 0x4a0334 Alr.Commands.Build.Execute at alr-commands-build.adb:58 0x4b065a Alr.Commands.Get.Retrieve at alr-commands-get.adb:187 0x4b4e77 Alr.Commands.Get.Execute at alr-commands-get.adb:348 0x53bb7e Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:742 0x54756f Alr.Commands.Execute at alr-commands.adb:492 0x43cb1a Alr.Main at alr-main.adb:10 0x43f3e7 Main at b__alr-main.adb:2132 [/lib64/libc.so.6] 0x7fb2a20af086 0x7fb2a20af149 [/usr/bin/alr] 0x43c9f8 _start at ??? 0xfffffffffffffffe Warning: adabots=1.8.1 successfully retrieved but its build failed. Dependencies were solved as follows: + json 5.0.3 (new) + libcurl 8.6.0 (new,indirect) + utilada 2.6.0 (new,indirect) + utilada_curl 2.6.0 (new) ERROR: Build ended with errors