From a69d6e3992b83f24851b5aea713505d65c019e4f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yanis=20Zafir=C3=B3pulos?= <1265028+drkameleon@users.noreply.github.com> Date: Fri, 12 Jul 2024 18:33:32 +0200 Subject: [PATCH] updated installation command --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 5ec1f7e..584b45f 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,7 +4,7 @@ RUN apk update RUN apk add bash git gmp-dev mpfr-dev pcre-dev sqlite-dev RUN git clone https://github.com/arturo-lang/arturo.git -RUN cd arturo && ./build.nims install release mini log +RUN cd arturo && ./build.nims --install --mode mini --log ENV PATH="/root/.arturo/bin:${PATH}"