Test ran at 2025-03-18 13:00:56.943264+00:00 SOLUTION: sparknacl=4.0.1: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library Origin: commit 8e3cc2e6a67826cbfb1e36559238e03cb024a706 from https://github.com/rod-chapman/sparknacl.git Properties: Author: Rod Chapman Description: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library GPR Scenario: SPARKNACL_BUILD_MODE := debug | O1 | O2 | O3 | Os GPR Scenario: SPARKNACL_COMPILE_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_CONTRACTS := enabled | disabled GPR Scenario: SPARKNACL_LIBRARY_TYPE := relocatable | static | static-pic GPR Scenario: SPARKNACL_RUNTIME_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_RUNTIME_MODE := full | zfp GPR Scenario: SPARKNACL_STYLE_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_TARGET_ARCH := unspecified | rv32im | rv32imc | rv32imc_a4 License: BSD-3-Clause Long_Description: SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties Maintainer: Rod Chapman Maintainer: Jon Andrew Maintainers_Logins: rod-chapman Maintainers_Logins: docandrew Name: sparknacl Tag: spark Tag: cryptography Tag: security Tag: nacl Tag: curve25519 Tag: ed25519 Tag: tweetnacl Version: 4.0.1 Website: https://github.com/rod-chapman/SPARKNaCl Dependencies (direct): gnat>=14.2.1 Dependencies (solution): gnat=14.2.1 (gnat_external) Dependencies (graph): sparknacl=4.0.1 --> gnat=14.2.1 (gnat_external) (>=14.2.1) LOG: Spawning: alr -d -n get --build sparknacl=4.0.1 Note: Deploying sparknacl=4.0.1... 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... #=#=# 0.0% ########### 15.6% ################# 24.8% ################################### 49.5% ##################################################### 74.2% ####################################################################### 99.0% ######################################################################## 100.0% Note: gprbuild=22.0.1 installed successfully. Note: Deploying gnat_native=14.2.1... #=#=# 0.0% ## 2.9% ### 4.9% #### 5.9% ##### 7.1% ##### 7.5% ###### 8.8% ######## 11.7% ########## 14.6% ############ 17.6% ############## 20.6% ################# 23.6% ################## 25.3% ################## 26.4% ##################### 29.3% ####################### 32.2% ######################## 34.6% ########################## 36.8% ############################ 40.2% ############################## 41.9% ############################### 43.7% ################################ 44.7% ################################# 46.9% #################################### 50.1% ##################################### 51.8% ##################################### 52.7% ######################################## 55.6% ########################################## 59.3% ############################################ 61.5% ############################################## 64.4% ################################################ 67.4% ################################################# 69.1% ################################################## 70.3% #################################################### 73.3% ###################################################### 75.1% ###################################################### 76.2% ######################################################## 79.1% ########################################################### 82.9% ############################################################## 86.3% ################################################################ 89.9% ################################################################# 91.4% ################################################################### 93.2% ################################################################### 94.2% ##################################################################### 96.1% ##################################################################### 96.9% ###################################################################### 98.6% ####################################################################### 99.6% ######################################################################## 100.0% Note: gnat_native=14.2.1 installed successfully. Note: Building sparknacl=4.0.1/sparknacl.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 Sparknacl sparknacl.gpr:3:25: warning: libraries are not supported on this platform sparknacl.gpr:1:17: no compiler for language "Ada", cannot compile "sparknacl-sanitize_u32_seq.adb" gprbuild: *** compilation phase failed stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/7d5986c6-6b24-42e0-956e-6670a67c1bda/sparknacl_4.0.1_8e3cc2e6/sparknacl.gpr"] exited with code 4 ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/7d5986c6-6b24-42e0-956e-6670a67c1bda/sparknacl_4.0.1_8e3cc2e6/sparknacl.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/7d5986c6-6b24-42e0-956e-6670a67c1bda/sparknacl_4.0.1_8e3cc2e6/sparknacl.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] 0x7f977da8d086 0x7f977da8d149 [/usr/bin/alr] 0x4393dc _start at ??? 0xfffffffffffffffe Warning: sparknacl=4.0.1 successfully retrieved but its build failed. Dependencies were solved as follows: +b gnat 14.2.1 (new,gnat_external,executable in path) ERROR: Build ended with errors