From 4650f8f161dd37d54a8158209b07b44f00a3b134 Mon Sep 17 00:00:00 2001 From: Ivan Folgueira Bande Date: Fri, 5 Apr 2024 16:39:55 +0200 Subject: [PATCH] Dockerfile workaround --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index dbd90d216..b843b9d5a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,6 +21,7 @@ RUN apk update && apk upgrade RUN git submodule update --init --recursive RUN rm -r ./vendor/zerokit/semaphore +RUN sed -i.bak -e '23,25d;5d' ./vendor/zerokit/Cargo.toml # Slowest build step for the sake of caching layers RUN make -j$(nproc) deps QUICK_AND_DIRTY_COMPILER=1 ${NIM_COMMIT}