Fix the libpolly version to use in CI

inko-lang · Jul 1, 2024 · 44201b7 · 44201b7
1 parent 0d55a85
commit 44201b7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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" | \