Test ran at 2025-08-12 13:21:25.602897+00:00 SOLUTION: hirtos=2.0.0: High-Integrity RTOS Origin: commit 66847740b093b19386959b0e7b65b0a09172a082 from https://github.com/jgrivera67/HiRTOS.git Properties: Test run: alr build (from ${CRATE_ROOT}/sample_apps/fvp_armv8r_aarch32_hello) Test run: alr build (from ${CRATE_ROOT}/sample_apps/esp32_c3_hello) Author: J. German Rivera Config type: Platform : Enum (arm_fvp, esp32_c3) default: 'arm_fvp' Configuration: no modifiers Description: High-Integrity RTOS License: Apache-2.0 Maintainer: J. German Rivera Maintainers_Logins: jgrivera67 Name: hirtos Tag: rtos Version: 2.0.0 Website: https://github.com/jgrivera67/HiRTOS LOG: Note: Synchronizing workspace... Dependencies automatically updated as follows: +b gnat_arm_elf 15.1.2 (new,binary) +b gnatprove 15.1.0 (new,binary) +b gprbuild 22.0.1 (new,binary) +. hirtos 2.0.0 (new,path=../..) i The solution requires a toolchain that is not yet installed. Accepting the solution will download and install this toolchain. Note: Deploying gnatprove=15.1.0... #=#=# ##O#-# 0.0% # 2.0% ## 2.9% ## 3.5% ## 4.1% ### 4.8% #### 5.8% #### 5.8% ##### 7.2% ###### 9.1% ####### 9.9% ####### 10.6% ####### 10.6% ######## 12.1% ########## 14.0% ########### 15.5% ############ 16.9% ############ 17.9% ############# 18.9% ############## 20.3% ############## 20.3% ############### 21.3% ################ 22.7% ################ 22.7% ################# 23.7% ################## 25.2% ################### 26.6% #################### 28.5% ##################### 29.6% ###################### 31.4% ####################### 33.2% ######################## 34.1% ######################### 35.9% ########################## 36.5% ########################### 38.1% ########################### 38.7% ############################# 40.3% ############################# 41.1% ############################# 41.1% ############################# 41.4% ############################## 42.3% ############################### 43.5% ################################ 45.4% ################################# 46.4% ################################## 48.3% ################################### 49.0% #################################### 50.4% ##################################### 51.7% ###################################### 53.2% ####################################### 54.9% ######################################## 55.6% ######################################### 57.5% ########################################## 59.0% ########################################## 59.0% ########################################### 59.9% ############################################ 61.1% ############################################# 62.8% ############################################## 64.8% ############################################### 65.6% ################################################ 67.2% ################################################ 67.9% ################################################## 69.8% ################################################## 70.4% ################################################### 71.9% #################################################### 72.8% ##################################################### 74.4% ###################################################### 75.9% ####################################################### 77.3% ######################################################### 79.2% ######################################################### 80.3% ########################################################### 82.1% ########################################################### 82.6% ############################################################ 84.1% ############################################################# 85.4% ############################################################## 86.9% ############################################################### 88.0% ################################################################ 89.4% ################################################################# 91.0% ################################################################## 91.8% ################################################################### 93.6% ################################################################### 94.2% ##################################################################### 96.1% ###################################################################### 97.5% ####################################################################### 99.1% ######################################################################## 100.0% Note: Deploying gprbuild=22.0.1... #=#=# ##O#-# 0.0% ################# 24.7% ############################### 44.0% ######################################## 55.8% ########################################## 59.5% ########################################## 59.6% ################################################## 70.0% ########################################################### 82.4% ################################################################### 94.0% ######################################################################## 100.0% Note: gprbuild=22.0.1 installed successfully. Note: Building fvp_armv8r_aarch32_hello=0.1.0-dev/fvp_armv8r_aarch32_hello.gpr... gprconfig: can't find a toolchain for the following configuration: gprconfig: language 'c', target 'arm-eabi', default runtime gprconfig: can't find a toolchain for the following configuration: gprconfig: language 'asm_cpp', target 'arm-eabi', default runtime gprconfig: can't find a toolchain for the following configuration: gprconfig: language 'ada', target 'arm-eabi', runtime '/home/runner/work/alire-crates-ci/alire-crates-ci/test/c00afc1d-ade8-4712-ae6d-5c9f3b7878ff/hirtos_2.0.0_66847740/third_party/portable_minimal_ada_rts' Setup [mkdir] object directory for project Portable_Minimal_Ada_Rts [mkdir] library directory for project Portable_Minimal_Ada_Rts [mkdir] object directory for project HiRTOS [mkdir] library directory for project HiRTOS [mkdir] object directory for project Fvp_Armv8r_Aarch32_Hello [mkdir] exec directory for project Fvp_Armv8r_Aarch32_Hello hirtos.gpr:16:25: warning: libraries are not supported on this platform portable_minimal_ada_rts.gpr:10:25: warning: libraries are not supported on this platform portable_minimal_ada_rts.gpr:3:09: no compiler for language "Ada", cannot compile "s-fatllf.ads" gprbuild: *** compilation phase failed ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/c00afc1d-ade8-4712-ae6d-5c9f3b7878ff/hirtos_2.0.0_66847740/sample_apps/fvp_armv8r_aarch32_hello/fvp_armv8r_aarch32_hello.gpr"] exited with code 4 ERROR: Compilation failed. [alr test] Test action exited with error code 1