From df26b06eeb9164fc481018c58c82aa92ade20552 Mon Sep 17 00:00:00 2001 From: Shorssaud Date: Wed, 25 Jan 2023 11:24:45 +0100 Subject: [PATCH] DEL extra dockerfile --- Dockerfile | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index df506cf..0000000 --- a/Dockerfile +++ /dev/null @@ -1,18 +0,0 @@ -FROM nimlang/nim as builder - -RUN apt update -qq && \ - DEBIAN_FRONTEND="noninteractive" apt install -yq cmake curl make - -FROM builder -ARG corecount=1 -COPY nim-codex . - -# TODO add a processor count variable argument -# RUN make -j6 update -# RUN make -j6 USE_SYSTEM_NIM=1 exec - -RUN make -j${corecount} update - -RUN make -j${corecount} USE_SYSTEM_NIM=1 exec - -ENTRYPOINT ["."]