From fb02e3d8990f9bca85432422185cb3eddf9493b0 Mon Sep 17 00:00:00 2001 From: Luigi Pertoldi Date: Sun, 31 Dec 2023 19:38:15 +0100 Subject: [PATCH] ci: ROOT 6.28/04 has been retracted, upgrade --- .github/bin/install-deps-ubuntu.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/bin/install-deps-ubuntu.sh b/.github/bin/install-deps-ubuntu.sh index 9c523c15d..ab31b58cc 100755 --- a/.github/bin/install-deps-ubuntu.sh +++ b/.github/bin/install-deps-ubuntu.sh @@ -4,9 +4,9 @@ apt-get -y update || exit 1 apt-get -y install libboost-dev libcgal-dev libgmp-dev libmpfr-dev \ libvtk9-dev libxi-dev libocct-*-dev occt-misc numdiff || exit 1 -root_version="6.28.04" +root_version="6.28.10" ROOTSYS="/opt/root" mkdir -p "$ROOTSYS" || exit 1 -wget -q -O- "https://root.cern/download/root_v${root_version}.Linux-ubuntu22-x86_64-gcc11.3.tar.gz" \ +wget -q -O- "https://root.cern/download/root_v${root_version}.Linux-ubuntu22-x86_64-gcc11.4.tar.gz" \ | tar --strip-components 1 -C "$ROOTSYS" --strip=1 -x -z || exit 1