From 5cb0ff4ccf331127a7b74ef9f83ce4ceacb1eb0c Mon Sep 17 00:00:00 2001 From: Alexander Bentkamp Date: Mon, 28 Nov 2022 14:44:19 +0100 Subject: [PATCH] install libatomic1 in Docker --- server/elan.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server/elan.Dockerfile b/server/elan.Dockerfile index 2c3a283..5e1e1dc 100644 --- a/server/elan.Dockerfile +++ b/server/elan.Dockerfile @@ -4,7 +4,7 @@ WORKDIR / RUN apt-get update RUN apt-get upgrade -y -RUN apt-get install -y git curl +RUN apt-get install -y git curl libatomic1 # Install elan RUN curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz