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}"