Test ran at 2025-07-09 12:38:32.744355+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: Spawning: alr -d -n get hirtos=2.0.0 Note: Deploying hirtos=2.0.0... hirtos=2.0.0 successfully retrieved. There are no dependencies. Note: Synchronizing workspace... Dependencies automatically updated as follows: New solution is incomplete. +b gnat_arm_elf 14.2.1 (new,binary) +b gnatprove 14.1.1 (new,binary) +. hirtos 2.0.0 (new,path=../..) Missing: +! gprbuild ^22 (new,missing) i The solution requires a toolchain that is not yet installed. Accepting the solution will download and install this toolchain. Note: Deploying gnat_arm_elf=14.2.1... #=#=# ##O#-# 0.0% # 2.3% ##### 7.9% ########## 13.9% ############## 19.6% ################## 25.6% ###################### 31.8% ########################### 37.9% ############################## 43.0% ################################### 49.3% ####################################### 55.0% ########################################### 61.0% ################################################ 66.8% #################################################### 73.5% ######################################################### 79.7% ############################################################# 85.9% ################################################################## 92.0% ###################################################################### 98.0% ######################################################################## 100.0% Note: gnat_arm_elf=14.2.1 installed successfully. Note: Deploying gnatprove=14.1.1... #=#=# ##O#-# 0.0% # 2.0% #### 6.0% ###### 9.2% ######### 13.7% ############## 20.4% ################## 25.9% ################### 27.5% ####################### 32.1% ########################## 36.6% ############################### 43.6% #################################### 50.6% ####################################### 54.9% ########################################## 59.5% ############################################## 65.2% ################################################# 69.1% ####################################################### 77.4% ########################################################### 82.3% ############################################################## 86.9% ################################################################### 93.6% ######################################################################## 100.0% Warning: The following external dependencies are unavailable within Alire: Warning: gprbuild^22 Warning: They should be made available in the environment by the user. Warning: Generating possibly incomplete configuration because of missing dependencies warn: Generating possibly incomplete environment because of missing dependencies Note: Building fvp_armv8r_aarch32_hello=0.1.0-dev/fvp_armv8r_aarch32_hello.gpr... ERROR: Cannot locate gprbuild, please check that you have a GNAT and GPRbuild installation in your environment. ERROR: Compilation failed. Note: Synchronizing workspace... Dependencies automatically updated as follows: New solution is incomplete. +b gnat_riscv64_elf 14.2.1 (new,binary) +b gnatprove 14.1.1 (new,binary) +. hirtos 2.0.0 (new,path=../..) Missing: +! gprbuild ^22 (new,missing) i The solution requires a toolchain that is not yet installed. Accepting the solution will download and install this toolchain. Note: Deploying gnat_riscv64_elf=14.2.1... #=#=# ##O#-# 0.0% # 2.0% #### 5.6% ###### 9.3% ########## 13.9% ############# 18.5% ############## 20.1% ################ 23.2% ################# 24.1% ################# 24.1% ################## 25.7% #################### 27.8% ##################### 29.7% ##################### 29.8% ####################### 32.4% ######################### 35.8% ########################## 37.1% ############################# 41.7% ############################## 41.8% ############################## 41.9% ############################### 43.2% ################################# 46.3% #################################### 50.9% ###################################### 53.3% ######################################## 56.1% ########################################### 60.2% ########################################### 61.1% ############################################ 61.3% ############################################## 64.8% ################################################# 69.4% ##################################################### 74.1% ######################################################## 78.7% ########################################################### 83.3% ############################################################ 83.8% ############################################################### 87.8% ############################################################### 88.0% ################################################################## 92.6% ##################################################################### 97.2% ###################################################################### 98.1% ####################################################################### 99.0% ######################################################################## 100.0% Note: gnat_riscv64_elf=14.2.1 installed successfully. Warning: The following external dependencies are unavailable within Alire: Warning: gprbuild^22 Warning: They should be made available in the environment by the user. Warning: Generating possibly incomplete configuration because of missing dependencies warn: Generating possibly incomplete environment because of missing dependencies Note: Building esp32_c3_hello=0.1.0-dev/esp32_c3_hello.gpr... ERROR: Cannot locate gprbuild, please check that you have a GNAT and GPRbuild installation in your environment. ERROR: Compilation failed.