From 3f5f8e8c7ff2519d5cf9524a65e23739d209980e Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 17 Dec 2024 16:23:41 +0100
Subject: [PATCH] Package Docker release step: ensure compiler is installed
 (#3789)

The "Package Docker" job failed with "error: linker `cc` not found", see
https://github.com/model-checking/kani/actions/runs/12371001460/job/34526835431.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
---
 scripts/ci/Dockerfile.bundle-release-20-04         | 2 +-
 scripts/ci/Dockerfile.bundle-test-ubuntu-20-04     | 2 +-
 scripts/ci/Dockerfile.bundle-test-ubuntu-20-04-alt | 2 +-
 scripts/ci/Dockerfile.bundle-test-ubuntu-22-04     | 2 +-
 scripts/ci/Dockerfile.bundle-test-ubuntu-24-04     | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/scripts/ci/Dockerfile.bundle-release-20-04 b/scripts/ci/Dockerfile.bundle-release-20-04
index 7a8b7f21b74b..963aa952d6df 100644
--- a/scripts/ci/Dockerfile.bundle-release-20-04
+++ b/scripts/ci/Dockerfile.bundle-release-20-04
@@ -17,7 +17,7 @@ COPY ./target/package/kani-verifier-*[^e] ./kani-verifier
 # directory. Rustup is purged for space.
 
 RUN apt-get update && \
-    apt-get install -y curl && \
+    apt-get install -y curl build-essential && \
     curl -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain none && \
     (cd kani-verifier/; cargo) && \
     rustup default $(rustup toolchain list | awk '{ print $1 }') && \
diff --git a/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04 b/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04
index 44084606f98d..f81af91f6f52 100644
--- a/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04
+++ b/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04
@@ -7,7 +7,7 @@ FROM ubuntu:20.04
 ENV DEBIAN_FRONTEND=noninteractive \
     DEBCONF_NONINTERACTIVE_SEEN=true
 RUN apt-get update && \
-    apt-get install -y curl && \
+    apt-get install -y curl build-essential && \
     curl -sSf https://sh.rustup.rs | sh -s -- -y
 ENV PATH="/root/.cargo/bin:${PATH}"
 
diff --git a/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04-alt b/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04-alt
index ebba8e3a178b..35bc522b651f 100644
--- a/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04-alt
+++ b/scripts/ci/Dockerfile.bundle-test-ubuntu-20-04-alt
@@ -9,7 +9,7 @@ ENV DEBIAN_FRONTEND=noninteractive \
     DEBCONF_NONINTERACTIVE_SEEN=true \
     KANI_HOME="/tmp"
 RUN apt-get update && \
-    apt-get install -y curl && \
+    apt-get install -y curl build-essential && \
     curl -sSf https://sh.rustup.rs | sh -s -- -y
 ENV PATH="/root/.cargo/bin:${PATH}"
 
diff --git a/scripts/ci/Dockerfile.bundle-test-ubuntu-22-04 b/scripts/ci/Dockerfile.bundle-test-ubuntu-22-04
index f53c11cf7fcb..f7dd23e1233d 100644
--- a/scripts/ci/Dockerfile.bundle-test-ubuntu-22-04
+++ b/scripts/ci/Dockerfile.bundle-test-ubuntu-22-04
@@ -7,7 +7,7 @@ FROM ubuntu:22.04
 ENV DEBIAN_FRONTEND=noninteractive \
     DEBCONF_NONINTERACTIVE_SEEN=true
 RUN apt-get update && \
-    apt-get install -y curl && \
+    apt-get install -y curl build-essential && \
     curl -sSf https://sh.rustup.rs | sh -s -- -y
 ENV PATH="/root/.cargo/bin:${PATH}"
 
diff --git a/scripts/ci/Dockerfile.bundle-test-ubuntu-24-04 b/scripts/ci/Dockerfile.bundle-test-ubuntu-24-04
index db4e8b88640d..1b85fd2e0b58 100644
--- a/scripts/ci/Dockerfile.bundle-test-ubuntu-24-04
+++ b/scripts/ci/Dockerfile.bundle-test-ubuntu-24-04
@@ -7,7 +7,7 @@ FROM ubuntu:24.04
 ENV DEBIAN_FRONTEND=noninteractive \
     DEBCONF_NONINTERACTIVE_SEEN=true
 RUN apt-get update && \
-    apt-get install -y curl && \
+    apt-get install -y curl build-essential && \
     curl -sSf https://sh.rustup.rs | sh -s -- -y
 ENV PATH="/root/.cargo/bin:${PATH}"