From 4e3898b34a5dbcfabbcf861998d915c261831b60 Mon Sep 17 00:00:00 2001 From: Johannes Stoelp Date: Tue, 21 Nov 2023 00:28:03 +0100 Subject: add comment to either use podman or docker --- docker/Dockerfile | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 docker/Dockerfile (limited to 'docker/Dockerfile') diff --git a/docker/Dockerfile b/docker/Dockerfile deleted file mode 100644 index 9cb8b44..0000000 --- a/docker/Dockerfile +++ /dev/null @@ -1,19 +0,0 @@ -FROM ubuntu - -RUN apt update && \ - DEBIAN_FRONTEND=noninteractive \ - apt install \ - --yes \ - --no-install-recommends \ - ca-certificates \ - build-essential \ - cargo \ - llvm-15 \ - llvm-15-dev \ - # For polly dependency. - # https://gitlab.com/taricorp/llvm-sys.rs/-/issues/13 - libclang-common-15-dev \ - zlib1g-dev \ - && \ - rm -rf /var/lib/apt/lists/* && \ - apt-get clean -- cgit v1.2.3