From 44201b77c5bed86933144e97dbb350d6682959e1 Mon Sep 17 00:00:00 2001 From: Yorick Peterse Date: Mon, 1 Jul 2024 15:15:05 +0800 Subject: [PATCH] Fix the libpolly version to use in CI --- ci/docker/debian/Dockerfile | 2 +- ci/docker/ubuntu/Dockerfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/docker/debian/Dockerfile b/ci/docker/debian/Dockerfile index 0f0723fa6..2bae5a80f 100644 --- a/ci/docker/debian/Dockerfile +++ b/ci/docker/debian/Dockerfile @@ -12,7 +12,7 @@ RUN apt-get update --quiet && apt-get install --quiet --yes \ build-essential tar git curl \ llvm-$LLVM_VERSION llvm-$LLVM_VERSION-dev \ libstdc++-11-dev libclang-common-$LLVM_VERSION-dev zlib1g-dev \ - libpolly-16-dev libzstd-dev + libpolly-$LLVM_VERSION-dev libzstd-dev RUN curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused --location \ --silent --show-error --fail "https://sh.rustup.rs" | \ diff --git a/ci/docker/ubuntu/Dockerfile b/ci/docker/ubuntu/Dockerfile index 47df4de63..8c4f00ca4 100644 --- a/ci/docker/ubuntu/Dockerfile +++ b/ci/docker/ubuntu/Dockerfile @@ -12,7 +12,7 @@ RUN apt-get update --quiet && apt-get install --quiet --yes \ build-essential tar git curl \ llvm-$LLVM_VERSION llvm-$LLVM_VERSION-dev \ libstdc++-11-dev libclang-common-$LLVM_VERSION-dev zlib1g-dev \ - libpolly-16-dev libzstd-dev + libpolly-$LLVM_VERSION-dev libzstd-dev RUN curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused --location \ --silent --show-error --fail "https://sh.rustup.rs" | \