From 3cbc2a858232eb5e2927c5cfe753ca97ff91b837 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Thu, 3 Mar 2022 15:04:34 +0100 Subject: [PATCH] Install gprbuild when necessary (#469) --- scripts/gh-build-crate.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/gh-build-crate.sh b/scripts/gh-build-crate.sh index a6c2613b..96f2df5f 100755 --- a/scripts/gh-build-crate.sh +++ b/scripts/gh-build-crate.sh @@ -112,6 +112,12 @@ for file in $CHANGES; do echo No need to update system repositories fi + # Install an Alire-provided gprbuild whenever there is a non-external gnat in solution + if grep -iq 'gnat_' <<< $solution && ! grep -iq 'gnat_external' <<< $solution; then + echo "INSTALLING indexed gprbuild" + alr toolchain --select gprbuild + fi + # Detect whether the crate is binary to skip build is_binary=false if grep -iq 'binary archive' <<< $crateinfo; then