diff --git a/Dockerfile b/Dockerfile index 9b8a2b87..0ae11e89 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,6 +6,6 @@ ENV CYCLONE_VERSION v0.11.7 RUN apt update -y RUN apt install -y build-essential git rsync texinfo libtommath-dev libck-dev make gcc -RUN git clone https://github.com/justinethier/cyclone-bootstrap && cd cyclone-bootstrap && git fetch -a && git checkout ${CYCLONE_VERSION} && ./install.sh +RUN git clone https://github.com/justinethier/cyclone-bootstrap && cd cyclone-bootstrap && git fetch -a && git checkout ${CYCLONE_VERSION} && make && make install CMD ["icyc"]